prolog
How to use prolog in java? [duplicate]
This question already has answers here: 开发者_如何学Go How use Prolog from Java? (6 answers) Closed 2 years ago.[详细]
2023-03-13 16:42 分类:问答Prolog implying a negative predicate
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[详细]
2023-03-13 03:31 分类:问答YAP initialization file?
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[详细]
2023-03-13 03:01 分类:问答Unit testing in XSB Prolog?
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?[详细]
2023-03-12 19:26 分类:问答Prolog grade counter and eulerpath
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:[详细]
2023-03-12 18:24 分类:问答How to query RDF/OWL using SWI-Prolog's Semantic Web Library?
How can I use the SWI-Prolog Semantic Web Library to make a query into the OWL/RDF file and extract some information?[详细]
2023-03-12 17:07 分类:问答How can I embed a Prolog-like inference engine into a .NET application?
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.[详细]
2023-03-12 11:00 分类:问答adding a search Path in SWI prolog
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).[详细]
2023-03-12 08:37 分类:问答Avoid linear cost of append/3 in Prolog
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[详细]
2023-03-12 00:46 分类:问答Prolog out of global stack
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.[详细]
2023-03-11 18:48 分类:问答