iso-prolog
prolog atom concat swi and yap prolog
input : run([p(X,Y,Z),h(Z,P,Q)],Out). code: :- ensure_loaded(library(lists)). run([X|Y],Out) :- X =.. [Fct|Args],[详细]
2023-03-22 23:10 分类:问答Why doesn't gnu prolog support the "false" predicate? (I've changed to swi)
I\'ve bee开发者_开发知识库n using the gprolog thingy to do some things in prolog. But now when testing some more code I discovered that it does not support \"false\". Which is supported by swi? Use fa[详细]
2023-01-25 07:33 分类:问答Why does SWI-Prolog unify a quoted and unquoted string (without spaces) to the same rule?
Assume I have the following rules: unify(\'test\', \'this is a test\'). run :- write(\'Enter something: \'),[详细]
2023-01-23 19:24 分类:问答'if' in prolog?
Is there a way to do an if in prolog, e.g. if a variable is 0, then to do some actions (write text开发者_Go百科 to the terminal). An else isn\'t even needed, but I can\'t find any documentation of if.[详细]
2022-12-30 07:37 分类:问答A customizable diff tool that can produce report (in XML, HTML)
I want to provide a diff report for a non regression test. My program is Java based but I did not found any API filling my needs.[详细]
2022-12-18 06:48 分类:问答