category: logic programming

... key train details ( ' 9:30 ' , ' 9:45 ' , ' 10:00 ' , ' 10:15 ' , yes , all ) ) , depart Shoretown = ' 9:30 ' ) in box 4 . In other words , we now have an answer ... answer will be passed back from box 4 to box 7 ( only now are the variables ...

... ( car21 ) , small ( car21 ) , light ( car21 ) ] , Classes ) and we would expect this to instantiate Classes to either [ is_classified ( sports_car ( car21 ) , [ fast ] ) ] or [ is_classified ( sports_car ( car21 ) , [ small , light ] ...

... dhemm@cs.wright.edu ABSTRACT Categorial grammars , which embed all syntactic information in a lexicon , give rise to pushdown automata for parsing , and these have sim- ple Prolog implementations . Extended to include semantic ...

... uf ) – F ( n − 1 \ s * uƒ ) έnDi ( n ) n = 1 n = 1 n = 1 – 1 | ssuf ... course of this work and for continuing to act as the primary source for the Aleph ... MSM 212300013 . The Condor Software Program ( Condor ) was developed by the ...

... Y2 ) : - mate ( W1 , W2 , [ ] , [ ] , Y1 , Y2 ) : - mate ( W1 , W2 , P1 , P2 , Y1 , Y2 ) : - split ( [ X , Y Z ] , [ X ] , [ Y│Z ] ) . split ( W1 , W2 , Y1 ) . split ( W2 , W1 , Y2 ) . split ( W1 , X , Y1 ) , split ( W2 , X , Y2 ) ...