I have this predicate that I can\'t seem to get to work. The predicate should be used the following way: You give the predicate a list of things (KnowledgeList), and an uninst开发者_开发问答antiated v
I\'ve made the rules to obtain a path of a graph with the edges defined as follows: graph(a,b). graph(a,a).
I need to create an adjacency matrix with graphs vertexes represented as facts: e.g. graph(a,b). graph(c,c).
As you know setof/3 can order a list with duplicate removal. Is there a way to use 开发者_如何转开发setof/3 keeping duplicates? Basically is there a built-in sorting function setof-like? (meaning if I
I have a list like L = [[id1,avg1],[id2,avg2],....,[idN,avgN]] and I want to sort this list by avg. I can\'t even start coding!
I have to solve a cryptogram which looks like this: ABC / DEF = 0.GHGHGH... where length of variables may be different. Also rep开发者_开发百科etition may be different (like 0.XYZXYZ...). I\'ve wri
Since Erlang i开发者_JAVA百科s based upon Prolog, does this mean that Erlang is a Constraint-Logic Language?
Given a Prolog theory and a small set of possible queries, it seems plausible that it would be possible to generate the required search tree/graph and then optimize/reduce it down to something that ca
I\'m trying to le开发者_JAVA技巧t Prolog instantiate a variable to the opposite key of a public/private key pair, if that is even possible.
Okay, hello everyone! The problem domain for my Prolog problem is cryptographic protocols. I\'ve a Prolog program I\'m trying to run in GNU Prolog. It should work...but of course it doesn\'t.
加载中,请稍侯......