The Wayback Machine - https://web.archive.org/web/20200831072711/https://github.com/topics/logic-programming
Skip to content
#

logic-programming

Here are 435 public repositories matching this topic...

harendra-kumar
harendra-kumar commented Aug 23, 2020

Both of these routines do the same thing, the only difference is how they handle invalid characters in the stream. I propose factoring out the encoding without any invalid char handling in an API called encodeUtf8Unsafe and use the following routines on the input stream before using encodeUtf8Unsafe:

  • replaceInvalid to replace invalid chars in the input stream
  • dropInvalid to drop in
fpopineau
fpopineau commented Jul 29, 2020

Hi there,

Thanks for this amazing module.

I think there is a problem with the way terms are printed.
I run some Prolog code from Python, querying Prolog with:

H = pyswip.Variable()
induce = pyswip.Functor('induce', 1)
q = Query(induce(H))
q.nextSolution()
print(H.value)

I get a result like this for H:

[Functor(319757,2,
 [Functor(9048461,3,_10560234,_10560236,_1056023

Improve this page

Add a description, image, and links to the logic-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic-programming topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.