This question already has answers here: 开发者_如何学Go How use Prolog from Java? (6 answers) Closed 2 years ago.
How can I write the following rule in PROLOG: if P then not Q I understand that you can easily write if P then Q the predicates like q(X) :- p(X), but how can you negate the q/1 predicate? I don\'t w
I am wondering if there is an equivalent of the SWI initialization file \"~/.plrc\" in YAP. I would like to define some directories with: file_search_path/2 before loading YAP, but I do not know where
How do people working with XSB Prolog do unit testing? Is t开发者_JS百科here a library available? Or is it possible to somehow use SWI-Prolog\'s plunit library in XSB?
this week I got this homework to do: count the grade of nodes in a undirected graph and test if there is a euler path in it. the function should work like following:
How can I use the SWI-Prolog Semantic Web Library to make a query into the OWL/RDF file and extract some information?
Certain kinds of domain logic are represented more naturally using Prolog predicates than C# objects. One example of such a domain is representing family relationships.
In many Prolog systems it is easy to add a new search path for consulting file. In Yap for example, the predicate I know it is add_to_path(NewPath).
Let\'s assume that we\'re reading from standard input and building a list of all the开发者_StackOverflow中文版 lines that have been read.In the end, we need to display those lines, separated by commas
Hi guys i\'m new on Prolog. I\'m trying to combine 1000 elements in class 3 without repetition. I have done the code, but i have out of stack problem.