代码搜索结果
找到约 10,000 项符合
Logic Analyzer 的代码
kissing.logic
// try running the query exposed(Who, 0615)
kiss("jill", "james", 0321);
kiss("julian", "jill", 0405);
kiss("jill", "jasper", 0412);
kiss("james", "jenni", 0420);
kiss("julian", "judy", 0508);
primefactors.logic
member(X, [X | Rest]);
member(X, [Y | Rest]) :- member(X, Rest);
primes([2, 3, 5, 7, 11, 13]);
factor(X, P, Q) :-
primes(Primes), member(P, Primes),
member(Q, Primes), =(P*Q, X);
while.logic
/* while(X, Start);
* For example, while(X, 1) starts X at 1 and
* increments it with each proof. */
while(I, I);
while(I, LastValue) :-
#(NextValue, LastValue + 1),
while(I,
city.logic
/*
Here is a simple set of facts and a simple rule.
Try the query:
highCity(Where)
which should produce the result:
Where = addis ababa
Where = denver
Where = flagstaff
Whe
wizards.logic
prefix([], List);
prefix([X | Rest1], [X | Rest2]) :-
prefix(Rest1, Rest2);
show(Wizard) :- prefix(
Wizard, ["merlin", "prospero", "gandalf", "harry"]);
family.logic
/*
This ruleset shows a number of examples of useful information isolated from other
facts.
Try the query:
male(X)
which should produce the result:
X = jim
X = kyle
X = kirk
starred.logic
/*
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), >
logic.c
logic (a, b)
int *a, b;
{
if (*a & 123)
b = 1;
if (*a & ~222)
b = 2;
if (124 & *a)
b = 3;
if (~111 & *a)
b = 4;
if (~*a & 23)
b = 1;
if (~*a & ~22)
b = 2;
i
logic.js
if(!dojo._hasResource["dojox.dtl.filter.logic"]){ //_hasResource checks added by build. Do not use _hasResource directly in your code.
dojo._hasResource["dojox.dtl.filter.logic"] = true;
dojo.provide(
logic.js
if(!dojo._hasResource["dojox.dtl.tag.logic"]){ //_hasResource checks added by build. Do not use _hasResource directly in your code.
dojo._hasResource["dojox.dtl.tag.logic"] = true;
dojo.provide("dojox