摘要：To save a record of program execution in prolog, we use the special predicates: protocol and noprotocol. Like this:protocol(‘execution.txt’).noprotocol.All the queries and their responses between the protocol and noprotocol will be saved to this file.If we use these predicates, we will get records l 阅读全文

摘要：How to create a new projectWizard - New project directoryScene TreeScene tree is a representation of the current worldHow to create a controllerWizards - New Robot ControllerHow to link a controller with a robotScene tree - “Robot” - Controller - ChooseSensors and Actuators in Robot(class):#include 阅读全文

摘要：From:http://nirvacana.com/thoughts/becoming-a-data-scientist/Data Science, Machine Learning, Big Data Analytics, Cognitive Computing …. well all of us have been avalanched with articles, skills demand info graph’s and point of views on these topics(yawn!). One thing is for sure; you cannot become a 阅读全文

摘要：SETcan set the value ofsymbols;SETQcan set the value ofvariables;SETFis amacrothat will call different function depending on what was called as its first argument.examples(set (quote l) '(1 2 3))(1 2 3)(set l '(1 2 3))Failure, l must be a symbol.(set 'l '(1 2 3))(1 2 3)(setq l '( 阅读全文

摘要：1. Computational theoryWhat is thegoalof computation,whyis it appropriate, and what is thelogic of the strategyby which it can be carried out?2. Representation and algorithmHow can this computational theory beimplemented? In particular, what is the representation for theinput and output, and what is 阅读全文

摘要：Symbolsin Prolog:atomvariablenumberlist(how toassemblyandtake them apart)Lists are verypowerfulin prolog because we do not need to do similar butrepeatedtasks again and again. Instead, we can put all elements in a list and deal with them in a moregeneralway.If we have a look at thedifferencebetweenl 阅读全文

摘要：Difference between LET and LET* in Common LISPLETParallel binding which means the bindings come to life at the same time and they do not shadow each other. The values are effective inside LET and they are undefined outside LET. Just like local variables.LET binds variables all at the same time.None 阅读全文

摘要：Environment:OS:OSX 10.8.5Matlab:R2013a(8.1.0.604) 64bitHow to fix:In filesubmit.m, line129,change fromhttp://www.coursera.org/ml-004tohttps://class.coursera.org/ml-004 阅读全文

摘要：Aformulaissatisfiableif it is possible to findaninterpretation(model) that makes the formulatrue.A formula isvalidifallinterpretations make the formulatrue.The opposites of these concepts areunsatisfiabilityandinvalidity, that is, a formula isunsatisfiableifnoneof the interpretations make the formul 阅读全文

摘要： 阅读全文