Documentation

[ambs]

Hi.
Is there any documentation or examples on how to tie prolog with C#? For instance, how to create a predicate that is, in fact a C# function reference?
Thank you

[jsakamoto]

Unfortunately, there are not good documents. 😢

I just fork the @JohnPool 's work from SourceForge, and I could not get any documentation at that time.

The existing sample codes I know are:

• README (https://github.com/jsakamoto/CSharpProlog#csharpprolog--)
• Issue Get all solutions of a query #2 "Get all solutions of a query"

[ambs]

Thank you. Will dig a little the code.

[JohnPool]

Hello Mr. Sakamoto, I am the author of CSharpProlog, I started developing it as a personal hobby project in 2006. I haven’t been paying attention to it for a long time, I even was not aware it was still being used. For me it is too long ago to recall all the technical details, but if your question is not too complicated I might help… Kind regards, John Pool Amsterdam Netherlands Van: jsakamoto <notifications@github.com> Verzonden: Sunday, May 31, 2020 08:30 Aan: jsakamoto/CSharpProlog <CSharpProlog@noreply.github.com> CC: John C Pool <j.pool@ision.nl>; Mention <mention@noreply.github.com> Onderwerp: Re: [jsakamoto/CSharpProlog] Documentation (#33) Unfortunately, there are not good documents. 😢 I just fork the @JohnPool <https://github.com/JohnPool> 's work from SourceForge, and I could not get any documentation at that time. The existing sample codes I know are: * README (https://github.com/jsakamoto/CSharpProlog#csharpprolog--) -Issue #2 <#2> "Get all solutions of a query" — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#33 (comment)> , or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADLHWQHYADHMKNFHIDEJQ33RUH2PXANCNFSM4NKGKUOA> . <https://github.com/notifications/beacon/ADLHWQDFRK36HHSGXFEHJRLRUH2PXA5CNFSM4NKGKUOKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEXXSKGI.gif>

[ambs]

Dear John, I will probably put some students using it. At the moment it would help to know how contained is the prolog interpreter. Namely if we can implement some predicates directly in c-sharp. I know these would not backtrack, but to query some variable stats it might be useful. Kindest regards Sent from ProtonMail mobile

…

-------- Original Message --------

On 31 May 2020, 11:22, John C Pool wrote: Hello Mr. Sakamoto, I am the author of CSharpProlog, I started developing it as a personal hobby project in 2006. I haven’t been paying attention to it for a long time, I even was not aware it was still being used. For me it is too long ago to recall all the technical details, but if your question is not too complicated I might help… Kind regards, John Pool Amsterdam Netherlands Van: jsakamoto ***@***.***> Verzonden: Sunday, May 31, 2020 08:30 Aan: jsakamoto/CSharpProlog ***@***.***> CC: John C Pool ***@***.***>; Mention ***@***.***> Onderwerp: Re: [jsakamoto/CSharpProlog] Documentation (#33) Unfortunately, there are not good documents. 😢 I just fork the @JohnPool <https://github.com/JohnPool> 's work from SourceForge, and I could not get any documentation at that time. The existing sample codes I know are: * README (https://github.com/jsakamoto/CSharpProlog#csharpprolog--) -Issue #2 <#2> "Get all solutions of a query" — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#33 (comment)> , or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADLHWQHYADHMKNFHIDEJQ33RUH2PXANCNFSM4NKGKUOA> . <https://github.com/notifications/beacon/ADLHWQDFRK36HHSGXFEHJRLRUH2PXA5CNFSM4NKGKUOKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEXXSKGI.gif> — You are receiving this because you authored the thread. Reply to this email directly, [view it on GitHub](#33 (comment)), or [unsubscribe](https://github.com/notifications/unsubscribe-auth/AAA46EZQYYGL62GQYNZNOWLRUIVVHANCNFSM4NKGKUOA).

[JohnPool]

Dear Alberto, You can (IMO easily) implement your own (backtrackable) predicates directly in C#. In the README I attached you may find a short description at section 8. If you have any additional questions, just ask them and I will try to answer them (I will be away for a couple of days from now, and I will be back by the end of this week). Kind regards, John Van: Alberto Simões <notifications@github.com> Verzonden: Sunday, May 31, 2020 17:17 Aan: jsakamoto/CSharpProlog <CSharpProlog@noreply.github.com> CC: John C Pool <j.pool@ision.nl>; Mention <mention@noreply.github.com> Onderwerp: Re: [jsakamoto/CSharpProlog] Documentation (#33) Dear John, I will probably put some students using it. At the moment it would help to know how contained is the prolog interpreter. Namely if we can implement some predicates directly in c-sharp. I know these would not backtrack, but to query some variable stats it might be useful. Kindest regards Sent from ProtonMail mobile

-------- Original Message --------

On 31 May 2020, 11:22, John C Pool wrote: Hello Mr. Sakamoto, I am the author of CSharpProlog, I started developing it as a personal hobby project in 2006. I haven’t been paying attention to it for a long time, I even was not aware it was still being used. For me it is too long ago to recall all the technical details, but if your question is not too complicated I might help… Kind regards, John Pool Amsterdam Netherlands Van: jsakamoto ***@***.*** ***@***.***> > Verzonden: Sunday, May 31, 2020 08:30 Aan: jsakamoto/CSharpProlog ***@***.*** ***@***.***> > CC: John C Pool ***@***.*** ***@***.***> >; Mention ***@***.*** ***@***.***> > Onderwerp: Re: [jsakamoto/CSharpProlog] Documentation (#33) Unfortunately, there are not good documents. 😢 I just fork the @JohnPool <https://github.com/JohnPool> 's work from SourceForge, and I could not get any documentation at that time. The existing sample codes I know are: * README (https://github.com/jsakamoto/CSharpProlog#csharpprolog--) -Issue #2 <#2> "Get all solutions of a query" — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#33 (comment)> , or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADLHWQHYADHMKNFHIDEJQ33RUH2PXANCNFSM4NKGKUOA> . <https://github.com/notifications/beacon/ADLHWQDFRK36HHSGXFEHJRLRUH2PXA5CNFSM4NKGKUOKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEXXSKGI.gif> — You are receiving this because you authored the thread. Reply to this email directly, [view it on GitHub](#33 (comment)), or [unsubscribe](https://github.com/notifications/unsubscribe-auth/AAA46EZQYYGL62GQYNZNOWLRUIVVHANCNFSM4NKGKUOA).

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#33 (comment)> , or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADLHWQBQHL4ZHA4XMVGH3BTRUJYHJANCNFSM4NKGKUOA> . <https://github.com/notifications/beacon/ADLHWQDI32JBHSQS3L7U2DLRUJYHJA5CNFSM4NKGKUOKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEXX72AQ.gif>

[ambs]

Dear @JohnPool , you forgot the attach, or github dropped it... Thank you

[jsakamoto]

@ambs

I found "README" as a Microsoft Word document file.

• https://github.com/jsakamoto/CSharpProlog/blob/vnext%2Fmaster/README.doc

I also attach the PDF version that is converted from the .doc file.

• README.pdf

[JohnPool]

I think the latter, I am quite sure I attached it ... you will have to wait until Thursday; do you have a direct email address? Is the README not included in the download zip? ⁣BlueMail voor Android downloaden ​ Op 1 jun. 2020 15:08, om 15:08, "Alberto Simões" <notifications@github.com> schreef:

…

Dear @JohnPool , you forgot the attach, or github dropped it... Thank you -- You are receiving this because you were mentioned. Reply to this email directly or view it on GitHub: #33 (comment)

[ambs]

I think it is the file @jsakamoto added in the previous post. Thanks.
I'll poke again if needed.
Best,

[ambs]

It will not be easy. My idea was to allow that in runtime. Extending an enum is not possible.
A solution would be to allow the :== syntax to have possible parameters in the RHS of the rule.

Having time, I will try to do that during my vacations. But not possible for my class this Saturday :-)

[JohnPool]

I might be able to offer some help in extending the grammar if you want to enhance the :== syntax. Fun to have a look at this again. John Pool Van: Alberto Simões <notifications@github.com> Verzonden: Wednesday, June 03, 2020 15:56 Aan: jsakamoto/CSharpProlog <CSharpProlog@noreply.github.com> CC: John C Pool <j.pool@ision.nl>; Mention <mention@noreply.github.com> Onderwerp: Re: [jsakamoto/CSharpProlog] Documentation (#33) It will not be easy. My idea was to allow that in runtime. Extending an enum is not possible. A solution would be to allow the :== syntax to have possible parameters in the RHS of the rule. Having time, I will try to do that during my vacations. But not possible for my class this Saturday :-) — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#33 (comment)> , or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADLHWQGZ4TNUCU5HD2DW5I3RUZI5XANCNFSM4NKGKUOA> . <https://github.com/notifications/beacon/ADLHWQB3VDAJX47QKOSN7K3RUZI5XA5CNFSM4NKGKUOKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEYFGBAY.gif>

[ambs]

Hi, John Great. I will poke you as soon as I have a little more time. Alberto Simões ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐

…

On Wednesday, 3 June 2020 16:24, John C Pool ***@***.***> wrote: I might be able to offer some help in extending the grammar if you want to enhance the :== syntax. Fun to have a look at this again. John Pool Van: Alberto Simões ***@***.***> Verzonden: Wednesday, June 03, 2020 15:56 Aan: jsakamoto/CSharpProlog ***@***.***> CC: John C Pool ***@***.***>; Mention ***@***.***> Onderwerp: Re: [jsakamoto/CSharpProlog] Documentation (#33) It will not be easy. My idea was to allow that in runtime. Extending an enum is not possible. A solution would be to allow the :== syntax to have possible parameters in the RHS of the rule. Having time, I will try to do that during my vacations. But not possible for my class this Saturday :-) — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#33 (comment)> , or unsubscribe <https://github.com/notifications/unsubscribe-auth/ADLHWQGZ4TNUCU5HD2DW5I3RUZI5XANCNFSM4NKGKUOA> . <https://github.com/notifications/beacon/ADLHWQB3VDAJX47QKOSN7K3RUZI5XA5CNFSM4NKGKUOKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEYFGBAY.gif> — You are receiving this because you were mentioned. Reply to this email directly, [view it on GitHub](#33 (comment)), or [unsubscribe](https://github.com/notifications/unsubscribe-auth/AAA46E5GKSVXJWJD4KCZBNDRUZTJJANCNFSM4NKGKUOA).

[Thriliriel]

Hello.

I liked this idea a lot! I am facing a problem where i cannot add the same root fact twice. For example, if we use the readme example:

prolog.ConsultFromString("human(socrates).");

I am not able to add another human, like, for example:

prolog.ConsultFromString("human(socrates).");
prolog.ConsultFromString("human(aristoteles).");

It raises the error: Predicate 'human/1' is already defined in...

Is there a way to avoid that?

Thanks!

[chaojian-zhang]

Hi great library and certainly still useful!
I saw datetime is defined as a predicate datetime/1 (per

CSharpProlog/CSProlog/Bootstrap.cs

Line 205 in d30f1bb

datetime( DT) :== datetime.

) and wonder how it can be used?
Any help is appreciated!