gnu-prolog

相关标签：javascript jquery android 多少钱 iPhone

Prolog: how to do "check(a++b++c++d equals d++a++c++b) -> yes"

Let\'s define custom operators - let it be ++,equals :- op(900, yfx, equals). :- op(800, xfy, ++). And fact:[详细]

2023-04-01 01:12 分类：问答
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 分类：问答
Programming in the large with prolog

I\'m trying to keep my Prolog code modular, and I was wondering if anyone had any advice as to how to do this. The way I was doing this with simple consults, but that is getting cumbersome as the numb[详细]

2023-03-20 03:31 分类：问答
Lists conversion

I am newbie to prolog and I am trying to flatten a list which is like this: X = [[[0,0,1],[1,0,2]],[[0,1,3],[0,2,2]],[[0,3,5],[0,4,4]],[[0,5,4],[0,6,5]]][详细]

2023-03-19 19:27 分类：问答
Problem with `\+` in Prolog queries with variables

I\'m reading \"Seven languages in seven weeks\" atm, and I\'m stumpe开发者_如何学JAVAd over some Prolog query that I don\'t understand the \'no\' response to.[详细]

2023-03-05 11:03 分类：问答
Writing to a file in gprolog

How do I write all the so开发者_运维问答lutions obtained from a prolog program to a file?The short answer is to nest the call to your \"solutions\" predicate inside a repeat/fail loop, at the penultim[详细]

2023-02-28 22:49 分类：问答
How to interface between C and gprolog?

I am in the somewhat unfortunate position of interfacing C and Prolog code. We have some data collection code in C, and some analysis code in Gnu-Prolog. So what is the best method to interface C and[详细]

2023-02-28 16:32 分类：问答
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 分类：问答
STL operator= behavior change with Visual Studio 2010?

I am attempting to compile QtScriptGenerator (gitorious) with Visual Studio 2010 (C++) and have run into a compile error.In searching for a solution, I have seen occasional references to compile break[详细]

2022-12-29 19:31 分类：问答