prolog
Prolog Compatibility Layers - available programming libraries
There is a lack of some predicates in one Prolog implementations, that are available in others. We can implement lacking predicates, let\'s call this \"Prolog Compatibility Layer\".[详细]
2023-03-30 10:43 分类:问答Prolog - generating numbers fitting given range
I\'d like to use predicates like: range(X,0,5) range(X,4,200) range(X,-1000000,1000000) dom_range(X,-1000000,1000000)[详细]
2023-03-30 03:26 分类:问答Function inputs and outputs in PROLOG
I\'m buil开发者_如何学编程ding some relatively simple functions in PROLOG that take one input and one output. For simplicity, something like[详细]
2023-03-29 18:10 分类:问答Prolog: iteration
Good evening, i have a simple problem, and i warn you that i am very new with prolog. Suppose to have three lists of the same size, each containing only 1s, 0s or -1s.[详细]
2023-03-29 17:07 分类:问答swi_prolog calling c++ program
I have a c++ program and I would like to have a prolog program call functions or method开发者_如何学运维s in the c++ program.I am new to this and if there is some tutorial I would appreciate the link.[详细]
2023-03-29 02:27 分类:问答Remove even appearance of elements from list with Lisp or PROLOG
I have to delete even appearance of element from list using LISP or PROLOG. Here is some example. input: \'(5 2 (3 5 (3) 5 (4 2 (2 4))) 5 2)[详细]
2023-03-28 16:24 分类:问答Tell prolog to stop and start search with other possibilities
I\'m trying to solve the Rubik\'s cube with prolog, I\'ve tried this: cubo_resuelto(F, F, F, F, F, F, F, F, F,[详细]
2023-03-28 00:10 分类:问答SWI-Prolog C++ interface
I get an error while trying to load a DLL generated with swipl-ld in prolog the predicate that throws the exception is this[详细]
2023-03-27 17:41 分类:问答SWI-Prolog option processing
I am using SWI-Prolog and am confused why the option library would be written to give the following outputs:[详细]
2023-03-25 01:40 分类:问答Prolog List of Constants to String
i have a list in input: [asd,qweqwe,fsdf,lkasd] As un can see from the code i want connect each constant of the l开发者_如何学Pythonist to output a single variable list.[详细]
2023-03-23 16:43 分类:问答