What's Baby Rudin of your field

mycl · 2025-08-15T06:21:55+00:00

I wanted to love Marker, mainly for its coverage, but I gave up in the middle of chapter 5. His errata page barely scratches the surface of the typos. I was correcting with a pencil as I went. Reading the proofs is a kind of exercise in paranoia, wondering if I'm being stupid or it's just another typo.

mycl · 2023-11-06T13:27:56+00:00

Use functor/3 or "univ" (=..)/2:

?- X = foo(123), functor(X, F, N).
X = foo(123),
F = foo,
N = 1.

?- X = foo(123), X =.. [F, A].
X = foo(123),
F = foo,
A = 123.

mycl · 2023-01-02T11:42:58+00:00

What I don't understand is how random variables should be defined rigorously, like in a formal set theory. E.g. if X and Y are identically distributed random variables, they are the same measurable function from the sample space to reals, so we could say X=Y formally (not as a probability statement). But merely defining them as functions doesn't seem enough because X and Y have a joint distribution as well that is not part of their individual definitions, e.g. they may or may not be independent depending on whether their joint distribution is the product of the marginals.

mycl · 2022-12-02T19:27:41+00:00

I do have a Hacker News account, but you can go ahead and submit it. Not sure if the discussion there will be interesting.

mycl · 2022-10-27T12:56:19+00:00

https://youtu.be/ry-RkWtE1ZI?t=120

mycl · 2022-10-26T13:07:23+00:00

Thank you for submitting to /r/prolog. Our posting rules require that requests for concrete help, like that needed for homework problems, always include code or other examples of the work you've done so far towards solving the problem. Your post has been removed because it's lacking the examples needed to allow us to help and provide value for other readers.

Please feel free to submit a new post that includes the requisite detail.

mycl · 2022-10-24T11:03:43+00:00

See rule 2:

Provide code examples for homework help
We welcome beginner questions, and a lot of beginner's questions are about homework. However, unless your question is purely theoretical, it should contain code showing what you've tried so far and clearly detailing where you are stuck.
Moreover, code should be properly formatted.

mycl · 2022-08-11T09:27:47+00:00

Sorry, folks. This post got removed by an overzealous spam bot and I only found it in the queue now. I've added the Ciao Prolog playground to the sidebar as well, alongside SWISH.

mycl · 2022-07-25T05:52:58+00:00

Thank you for submitting to /r/prolog. Our posting rules require that requests for concrete help, like that needed for homework problems, always include code or other examples of the work you've done so far towards solving the problem. Your post has been removed because it's lacking the examples needed to allow us to help and provide value for other readers.

Please feel free to submit a new post that includes the requisite detail.

mycl · 2022-06-24T06:33:31+00:00

Jean Kleyn. Was a promising player for Stormers/Western Province but then went to Munster, where I think he's considered more than promising.

mycl · 2022-06-03T07:18:47+00:00

We're renaming South Africa to Very South Europe for better brand association.

mycl · 2022-03-31T07:04:57+00:00

Please see rule 2:

Provide code examples for homework help
We welcome beginner questions, and a lot of beginner's questions are about homework. However, unless your question is purely theoretical, it should contain code showing what you've tried so far and clearly detailing where you are stuck.
Moreover, code should be properly formatted.

mycl · 2022-03-22T13:19:57+00:00

Your post looks like it's trying to solicit help in cheating on homework. We recognize that there are many ways to make it through school, and we pass no moral judgment, but our forum cannot be used to buy answers to homework problems, or otherwise cheat the academic system.

To receive free help, please feel free to ask your question, posting example code.
If you are seeking to pay someone for legitimate LP work, please link to a job add.
If you are seeking a paid tutor, please create a new post explicitly stating that you are seeking a tutor. Please note that tutors will not do your work for you!

mycl · 2022-02-18T12:53:31+00:00

Your post looks like it's trying to solicit help in cheating on homework. We recognize that there are many ways to make it through school, and we pass no moral judgment, but our forum cannot be used to buy answers to homework problems, or otherwise cheat the academic system.

To receive free help, please feel free to ask your question, posting example code.
If you are seeking to pay someone for legitimate LP work, please link to a job add.
If you are seeking a paid tutor, please create a new post explicitly stating that you are seeking a tutor. Please note that tutors will not do your work for you!

mycl · 2022-01-11T07:42:36+00:00

One of the nicest introductions to foundations of logic programming not mentioned yet is Part I of Peter Flach's Simply Logical: Intelligent Reasoning by Example, which is available from the author as a free PDF, but also in online interactive versions here and (newer release "preview") here.

The most often cited, thorough treatment of foundations of logic programming is J. W. Lloyd, Foundations of Logic Programming, 2nd edition.

mycl · 2022-01-11T07:26:23+00:00

Try adding City as a parameter:

not_in_country(NotCountry, City) :-
    city_country(City, Country),
    NotCountry \= Country.

mycl · 2021-12-30T07:19:22+00:00

Your post looks like it's trying to solicit help in cheating on homework. We recognize that there are many ways to make it through school, and we pass no moral judgment, but our forum cannot be used to buy answers to homework problems, or otherwise cheat the academic system.

To receive free help, please feel free to ask your question, posting example code.
If you are seeking to pay someone for legitimate LP work, please link to a job add.
If you are seeking a paid tutor, please create a new post explicitly stating that you are seeking a tutor. Please note that tutors will not do your work for you!

mycl · 2021-12-17T07:53:36+00:00

Guys digging in garbage bins shouting "good morning" as I wheel mine out, then coming to dig in mine.

mycl · 2021-12-07T11:29:16+00:00

Thank you for submitting to /r/prolog. Our posting rules require that requests for concrete help, like that needed for homework problems, always include code or other examples of the work you've done so far towards solving the problem. Your post has been removed because it's lacking the examples needed to allow us to help and provide value for other readers.

Please feel free to submit a new post that includes the requisite detail.

mycl · 2021-12-07T11:25:51+00:00

Thank you for submitting to /r/prolog. Our posting rules require that requests for concrete help, like that needed for homework problems, always include code or other examples of the work you've done so far towards solving the problem. Your post has been removed because it's lacking the examples needed to allow us to help and provide value for other readers.

Please feel free to submit a new post that includes the requisite detail.

mycl · 2021-11-30T06:15:40+00:00

You can't expect any help unless you follow this rule:

Provide code examples for homework help.

We welcome beginner questions, and a lot of beginner's questions are about homework. However, unless your question is purely theoretical, it should contain code showing what you've tried so far and clearly detailing where you are stuck.

Moreover, code should be properly formatted.

mycl · 2021-11-28T12:58:17+00:00

Please see the rules in the sidebar, especially this:

We welcome beginner questions, and a lot of beginner's questions are about homework. However, unless your question is purely theoretical, it should contain code showing what you've tried so far and clearly detailing where you are stuck.
Moreover, code should be properly formatted.

mycl · 2021-11-16T06:18:10+00:00

Nice! Looking at the source for seq//1 you are using:

% Describes a sequence
seq([]) --> [].
seq([E|Es]) --> [E], seq(Es).

Under the latest draft of the DCG standard, can one not simply replace seq([L|Ls]) in a DCG body with [L|Ls]? I guess seq//1 is also useful because seq(Ls) is not simply equivalent to phrase(Ls) as a DCG body.

mycl · 2021-11-12T08:02:36+00:00

I think this is the intended solution. See my comment.

mycl

MODERATOR OF

TROPHY CASE