代码搜索结果

/* Here is a simple example of lists. Try the query: ok(N, A, B) which should produce the result: N = 1.0, A = dark, B = full N = 2.0, A = continental, B = viennese N = 3.0, A =

/* Try the query: travel(AltBand, X) which should produce the result: AltBand = 1000.0, X = jacksonville AltBand = 1000.0, X = richmond AltBand = 2000.0, X = abilene AltBand

/* Try the query: customer(name, cNum), order(cNum, type, pounds) which should produce the result: name = Jim Johnson, cNum = 2024.0, type = Simple Best, pounds = 1.0 name = Jane Jerr

priv("jim", "operate", "sputter"); priv("jim", "operate", "implant"); priv("janie", "supervise", "sputter"); priv("rivki", "operate", "photo"); priv("bill", "supervise", "photo"); teammates(P1,

/* Here is a simple example of lists. An element is a member of a list if it is the head of the list or part of the tail. Try the query: member(champion, ["spassky", "fischer", "karpov", "ka

permutation( ["get kids", "mail package", "buy milk"], ToDo) in(X, Y), not leaf(X) // for 'in'

/* This is a very simple example of a fact query. Try the following query: starred("James Cagney", Title, Year) or for something a little more fun: starred("James Cagney", Title, Year), >

/* To run this program use the query: geneval(Solution) which should produce the result: Solution = [student(amy, hightower, shootFighting), student(betti, ellis, sparring), student(carla

chipsFor(CustId, ChipName, Bags) :- order(CustId, ChipId, Bags), chip(ChipId, ChipName, Price, Ounces, Oil);

// prime.txt contains factor and prime proofs factor(N, I, J) :- for(I, 2, N), for(J, 2, N), =(N, I*J); for(I, I, Upper) :-