API tools faq
paste
Advertisement
logicmoo

Untitled

logicmoo
Sep 19th, 2014
469
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
ZXBasic 16.97 KB | None | 0 0
raw download clone embed print report diff
  1. % =========================================================================================================
  2.  
  3. %                       [how,many,postures,are,there,?]
  4.  
  5. % ---------------------------------------------------------------------------------------------------
  6.  
  7. Sentence(report): 0sec.
  8. [how,many,postures,are,there,?]
  9. %     succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  10.  
  11. Parse: 0.003999999999990678sec.
  12. whq(A, s(np(3+pl, np_head(quant(same, wh(A)), [], posture), []), verb(be, active, pres+fin, [], POS(B), be), [void(there)], [])) :-
  13.         whq(A,
  14.             s(np(3+pl, np_head(quant(same, wh(A)), [], posture), []),
  15.               verb(be, active, pres+fin, [], POS(B), be),
  16.               [void(there)],
  17.               [])).
  18.  
  19. %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],posture),[]),np_head(quant(same,wh(A)),[],posture),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  20. %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],posture),[]),np_head(quant(same,wh(A)),[],posture),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  21. %        var_simplify((answer80([A]):-numberof(B, (((isa(B,posture),true),true),B^ (((true,true),true),true,true,true,true)),A)),C)
  22.  
  23. Semantics: 0.0010000000000047748sec.
  24. answer80([B]) :-
  25.    B = numberof C
  26.      isa(C,posture)
  27.    & exists C
  28.        true
  29.  
  30. Reply: 0.0sec.
  31. [4]
  32.  
  33. % ---------------------------------------------------------------------------------------------------
  34.  
  35. % ---------------------------------------------------------------------------------------------------
  36.  
  37. %                       [how,many,postures,are,there,?]
  38.  
  39. % =========================================================================================================
  40.  
  41. % =========================================================================================================
  42.  
  43. %                       [what,are,the,postures,?]
  44.  
  45. % ---------------------------------------------------------------------------------------------------
  46.  
  47. Sentence(report): 0sec.
  48. [what,are,the,postures,?]
  49. %              succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  50. %                 succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  51. %              succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  52. %                  succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  53. %          succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  54. %             succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  55. %          succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  56. %              succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  57. %       succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  58. %          succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  59. %       succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  60. %           succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  61. %         succeed(moo: (NOT((ccw_db0(postures,A),!,ground(A)))->asserta(not_ccw_db(postures));asserta(is_ccw_db(postures)),!,fail))
  62.  
  63. Parse: 0.028000000000005798sec.
  64. whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], POS(B), be), [arg(dir, np(3+pl, np_head(det(the(pl)), [], posture), []))], [])) :-
  65.         whq(A,
  66.             s(np(3+pl, wh(A), []),
  67.               verb(be, active, pres+fin, [], POS(B), be),
  68.               [arg(dir, np(3+pl, np_head(det(the(pl)), [], posture), []))],
  69.               [])).
  70.  
  71. %              good_kyqdhq(np(3+pl,wh(A),[]),wh(A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  72. %               good_kyqdhq(np(3+pl,np_head(det(the(pl)),[],posture),[]),np_head(det(the(pl)),[],posture),A,quant(B,C,D,E,F,A),B,C,D,E,F)
  73. %        var_simplify((answer80([A]):-B^ (setof(C, ((isa(C,posture),true),true),B), ((true,true),true),true,A=B,true,true)),D)
  74.  
  75. Semantics: 0.0010000000000047748sec.
  76. answer80([B]) :-
  77.    B = setof C
  78.      isa(C,posture)
  79.  
  80. Reply: 0.0sec.
  81. [[kneel,lay,sit,stand]]
  82.  
  83. % ---------------------------------------------------------------------------------------------------
  84.  
  85. % ---------------------------------------------------------------------------------------------------
  86.  
  87. %                       [what,are,the,postures,?]
  88.  
  89. % =========================================================================================================
  90.  
  91. % =========================================================================================================
  92.  
  93. %                       [what,are,the,types,?]
  94.  
  95. % ---------------------------------------------------------------------------------------------------
  96.  
  97. Sentence(report): 0sec.
  98. [what,are,the,types,?]
  99. %              succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  100. %              succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  101. %                 succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  102. %              succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  103. %                  succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  104. %          succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  105. %          succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  106. %             succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  107. %          succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  108. %              succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  109. %       succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  110. %       succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  111. %          succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  112. %       succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  113. %           succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  114. %         succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  115.  
  116. Parse: 0.018000000000000682sec.
  117. whq(A, s(np(3+pl, wh(A), []), verb(be, active, pres+fin, [], POS(B), be), [arg(dir, np(3+pl, np_head(det(the(pl)), [], type), []))], [])) :-
  118.         whq(A,
  119.             s(np(3+pl, wh(A), []),
  120.               verb(be, active, pres+fin, [], POS(B), be),
  121.               [arg(dir, np(3+pl, np_head(det(the(pl)), [], type), []))],
  122.               [])).
  123.  
  124. %              good_kyqdhq(np(3+pl,wh(A),[]),wh(A),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  125. %               good_kyqdhq(np(3+pl,np_head(det(the(pl)),[],type),[]),np_head(det(the(pl)),[],type),A,quant(B,C,D,E,F,A),B,C,D,E,F)
  126. %        var_simplify((answer80([A]):-B^ (setof(C, ((type(C),true),true),B), ((true,true),true),true,A=B,true,true)),D)
  127.  
  128. Semantics: 0.0010000000000047748sec.
  129. answer80([B]) :-
  130.    B = setof C
  131.      type(C)
  132.  
  133. Reply: 0.018999999999991246sec.
  134. [[Area,Artifact-Generic,ArtifactCol1000,ArtifactCol1001,ArtifactCol1002,ArtifactCol1003,ArtifactCol1004,ArtifactCol1005,ArtifactCol1006,ArtifactCol1007,ArtifactCol1008,ArtifactCol1009,ArtifactCol1010,ArtifactCol1011,ArtifactCol1012,ArtifactCol1020,ArtifactCol1021,ArtifactCol1022,ArtifactCol1023,ArtifactCol1024,ArtifactCol1025,BPVLocation,Bottle,Container,ControlDevice,Device-SingleUser,FemaleAnimal,Flask-LabGlassware,FluidReservoir,FreeSpaceContent,FreeSpaceContext,HandTool,Handgun,Indoors-IsolatedFromOutside,InformationStore,LightingDevice,LimitedAccess,MaleAnimal,Necklace,NpcCol1000,NpcCol1001,NpcCol1002,NpcCol1003,NpcCol1004,NpcCol1005,NpcCol1006,NpcCol1007,NpcCol1008,NpcCol1009,NpcCol1010,NpcCol1011,NpcCol1012,NpcCol1013,PortableObject,Portal,ProtectiveAttire,RodShapedObject,ShipMap,SomethingToWear,SpaceInAHOC,TemporallyExistingThing,Weapon,action,actiontype,activeAgent,actor,agent,agenttype,apple,areaPath,argsIsaInList,assertionMacroHead,back_yard,backchainForbidden,backchainRequired,ball,bear,bed,bed_room,blanket,bogusSpeechPart,book,book_type_a,book_type_b,bookcase,boolean,bottom_drawer,broccoli,candle,cellar,chair,channel,chargable,chargeable,closet,coat,coffee,coffee_cup,coffee_table,collectionBackchainEncouraged,command,completeCollectionExtent,completeExtentAsserted,completeExtentKnown,computer,container,corpsea,corpseb,corpsec,crackers,createableType,decontextualizedCollection,decontextualizedPredicate,deleted,desk,dice,dining_room,dir,dirt,door,drawer,dresser,drinkable,easy_chair,eatable,edge,elixer,envelope,explorer,flagged_act_friend,flagged_act_nice_thief,flagged_act_sentinel,flagged_act_stay_zone,flagged_act_wimpy,flagged_aware,flagged_helper,flagged_memory,flagged_nobackstab,flagged_nobash,flagged_noblind,flagged_nocharm,flagged_nosleep,flagged_nosummon,flagged_npc_detect_invis,flagged_npc_notrack,flagged_npc_sanctuary,flagged_visor,flashlight,food,formatted,formattype,fpred,garden_plant,genCodeSupport,genMassNoun,genStringAssertion-Old,genWithGloss,gold,gossup,green_apple,gueridon,hall,hide,high_box,high_wall,houseplant,human_player,instancesDontNeedLexification,INT,item,keClarifyingCollection,key,kitchen,knife,ledge,light_switch,listValued,living_room,low_box,low_wall,machine,material_value,me,middle_drawer,minimize,minimizeExtent,mpred,multiValued,nani,nasty_knife,negationByFailure,nonCreatableType,nonGroundOK,notAssertible,notAssertibleCollection,notAssertibleMt,npc_player,number,nut,obj,office,ordered,outlet,pajamas,pajams,pants,percent,pillow,pit,plant,planter,player,possessable,posture,predicates,prologBuiltin,prologHybrid,prologOnly,quotedCollection,red_apple,region,regiontype,relation,rock,room,shape_value,shirt,sillyitem,singleValued,size_value,skin,sofa,spatialthing,stamp,stand_table,stowable,STRING,switch,table,teddy_bear,term,termDoesntNeedLexification,text,texture_value,thinking,top_drawer,torso,tough_hide,tree,type,typeDeclarer,usable,useReformulationRuleForQuantifierProcessing,useable,value,var,voprop,wall,washing_machine,wearable,wieldable,yard]]
  135.  
  136. % ---------------------------------------------------------------------------------------------------
  137.  
  138. % ---------------------------------------------------------------------------------------------------
  139.  
  140. %                       [what,are,the,types,?]
  141.  
  142. % =========================================================================================================
  143.  
  144. % =========================================================================================================
  145.  
  146. %                       [how,many,types,are,there,?]
  147.  
  148. % ---------------------------------------------------------------------------------------------------
  149.  
  150. Sentence(report): 0sec.
  151. [how,many,types,are,there,?]
  152. %     succeed(moo: (NOT((ccw_db0(types,A),!,ground(A)))->asserta(not_ccw_db(types));asserta(is_ccw_db(types)),!,fail))
  153.  
  154. Parse: 0.003999999999990678sec.
  155. whq(A, s(np(3+pl, np_head(quant(same, wh(A)), [], type), []), verb(be, active, pres+fin, [], POS(B), be), [void(there)], [])) :-
  156.         whq(A,
  157.             s(np(3+pl, np_head(quant(same, wh(A)), [], type), []),
  158.               verb(be, active, pres+fin, [], POS(B), be),
  159.               [void(there)],
  160.               [])).
  161.  
  162. %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],type),[]),np_head(quant(same,wh(A)),[],type),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  163. %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],type),[]),np_head(quant(same,wh(A)),[],type),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  164. %        var_simplify((answer80([A]):-numberof(B, (((type(B),true),true),B^ (((true,true),true),true,true,true,true)),A)),C)
  165.  
  166. Semantics: 0.0010000000000047748sec.
  167. answer80([B]) :-
  168.    B = numberof C
  169.      type(C)
  170.    & exists C
  171.        true
  172.  
  173. Reply: 0.01999999999999602sec.
  174. [262]
  175.  
  176. % ---------------------------------------------------------------------------------------------------
  177.  
  178. % ---------------------------------------------------------------------------------------------------
  179.  
  180. %                       [how,many,types,are,there,?]
  181.  
  182. % =========================================================================================================
  183.  
  184. % =========================================================================================================
  185.  
  186. %                       [how,many,formattypes,are,there,?]
  187.  
  188. % ---------------------------------------------------------------------------------------------------
  189.  
  190. Sentence(report): 0sec.
  191. [how,many,formattypes,are,there,?]
  192. %     succeed(moo: (NOT((ccw_db0(formattypes,A),!,ground(A)))->asserta(not_ccw_db(formattypes));asserta(is_ccw_db(formattypes)),!,fail))
  193.  
  194. Parse: 0.0049999999999954525sec.
  195. whq(A, s(np(3+pl, np_head(quant(same, wh(A)), [], formattype), []), verb(be, active, pres+fin, [], POS(B), be), [void(there)], [])) :-
  196.         whq(A,
  197.             s(np(3+pl, np_head(quant(same, wh(A)), [], formattype), []),
  198.               verb(be, active, pres+fin, [], POS(B), be),
  199.               [void(there)],
  200.               [])).
  201.  
  202. %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],formattype),[]),np_head(quant(same,wh(A)),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  203. %              good_kyqdhq(np(3+pl,np_head(quant(same,wh(A)),[],formattype),[]),np_head(quant(same,wh(A)),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  204. %        var_simplify((answer80([A]):-numberof(B, (((formattype(B),true),true),B^ (((true,true),true),true,true,true,true)),A)),C)
  205.  
  206. Semantics: 0.0010000000000047748sec.
  207. answer80([B]) :-
  208.    B = numberof C
  209.      formattype(C)
  210.    & exists C
  211.        true
  212.  
  213. Reply: 0.000999999999990564sec.
  214. [25]
  215.  
  216. % ---------------------------------------------------------------------------------------------------
  217.  
  218. % ---------------------------------------------------------------------------------------------------
  219.  
  220. %                       [how,many,formattypes,are,there,?]
  221.  
  222. % =========================================================================================================
  223.  
  224. % =========================================================================================================
  225.  
  226. %                       [what,formattypes,are,there,?]
  227.  
  228. % ---------------------------------------------------------------------------------------------------
  229.  
  230. Sentence(report): 0sec.
  231. [what,formattypes,are,there,?]
  232. %     succeed(moo: (NOT((ccw_db0(formattypes,A),!,ground(A)))->asserta(not_ccw_db(formattypes));asserta(is_ccw_db(formattypes)),!,fail))
  233.  
  234. Parse: 0.0040000000000048885sec.
  235. whq(A, s(np(3+pl, np_head(int_det(A), [], formattype), []), verb(be, active, pres+fin, [], POS(B), be), [void(there)], [])) :-
  236.         whq(A,
  237.             s(np(3+pl, np_head(int_det(A), [], formattype), []),
  238.               verb(be, active, pres+fin, [], POS(B), be),
  239.               [void(there)],
  240.               [])).
  241.  
  242. %              good_kyqdhq(np(3+pl,np_head(int_det(A),[],formattype),[]),np_head(int_det(A),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  243. %              good_kyqdhq(np(3+pl,np_head(int_det(A),[],formattype),[]),np_head(int_det(A),[],formattype),B,quant(C,D,E,F,G,B),C,D,E,F,G)
  244. %        var_simplify((answer80([A]):- ((formattype(A),true),true),A^ (((true,true),true),true,true,true,true)),B)
  245.  
  246. Semantics: 0.000999999999990564sec.
  247. answer80([B]) :-
  248.    formattype(B)
  249.  & exists B
  250.      true
  251.  
  252. Reply: 0.0010000000000047748sec.
  253. [action,apath,atom,boolean,dice,dir,id,INT,INTEGER,list,number,percent,prolog,rest,STRING,term,text,var,voprop,xyz,action(prolog),list(type),apath(region,dir),dice(INT,INT,INT),xyz(region,INT,INT,INT)]
  254.  
  255. % ---------------------------------------------------------------------------------------------------
  256.  
  257. % ---------------------------------------------------------------------------------------------------
  258.  
  259. %                       [what,formattypes,are,there,?]
  260.  
  261. % =========================================================================================================
  262.  T Call: (84) [$messages] print_message(information,time(3996997,2.3500519319999995,61.37897539138794,1700812))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!