Installing Erlang is relatively simpleDownload the Erlang compressed packageInput tar-zxvf compressed package to decompressEnter the extracted directory and enter./configureAfter./configure is executed, enter makeEnter make install.Enter ERL at run time to enter interactive Command Line ModeProlog I installed swing-PROLOG and a GNU Prolog, But I didn't install it
, which is a relatively comprehensive help document and so on, and then again a toss to determine the need for the two files, a Swi-prolog installation program, There is also a DLL file, these two files are divided into 32-bit and 64-bit two, first install SWI, and then create a console program, reference SwiPlCs.dll.Well, the preparation is done, and then the code, I followed the official example to write
This series of articles is an online prolog learning material: Www.learnprolognow.org's Chinese translation. Hope to be able to translate this learning materials, to achieve two purposes: first, the system to learn prolog knowledge; second, improve the understanding of English articlesand translation capabilities.Content Summary:Give some simple examples of Prolog
with it without its GUI.To avoid weaknesses, to play the Visualprolog compiler and inference engine and other tools excellent, avoiding its GUI tools of the short board, a good choice is to use it to do CGI programs, the GUI to the browser processing.The practical application of Prolog is mainly focused on the development of expert system.Visual Prolog provides an example. "Animal classification and identi
GUI.To avoid weaknesses, to play the Visualprolog compiler and inference engine and other tools excellent, avoiding its GUI tools of the short board, a good choice is to use it to do CGI programs, the GUI to the browser processing.The practical application of Prolog is mainly focused on the development of expert system. Visual Prolog provides an example of an "Animal classification identification expert sy
Content SummaryThis chapter focuses on a practical example of using a recursive manipulation list: Determining whether an element is contained in a list.It's time to introduce the example of a program in the first Prolog that uses a recursive manipulation list. One of the things that interests us most is whether an object is an element in a list. So, we want to write a program that when assumed input is an object x and a list L,The result is whether x
Http://blog.sina.com.cn/s/blog_494e45fe0100lh1v.html
PROLOG
The languages commonly used in the AI field, the development of natural language analysis, expert systems, and all intelligent-related programs are very good. You can go to my homepage to learn the language http://cdtzx.go.163.com/
Visual Prolog
Http://www.visual-prolog.com/As the name suggests, this is a
Content SummaryRule orderTarget OrderTerminateProlog is the first more successful logical programming language. The intrinsic implementation of the logic programming language is simple and attractive: The programmer's job is simply to describe the problem; the programmer should write down the declarative specifications (using the language's logic) (i.e., a knowledge base) to describe interesting states, facts, and relationships; a programmer should not tell the computer how to do it, and he asks
Exercises 5.1How will prolog answer the following questions?1. X = 3*4.2. X is 3*4.3.4 is X.4. X = Y.5.3 is 1+2.6.3 is + (.).7.3 is x+2.8. X is 1+2.9.1+2 is 1+2.Is (X, + ()).11.3+2 = + (3,2).12. * (7,5) = 7*5.13. * (7, + (3,2)) = 7* (3+2).14. * (7, (3+2)) = 7* (3+2).15.7*3+2 = * (7, + (3,2)).16. * (7, (3+2)) = 7* (+ (3,2)).My answers and explanations:1. Prolog will answer:X = 3*4, because this is a unity. 2
Chapter 1 of the title page introduces 1.1 SWI-Prolog1.2 status 1.3 compliant with ISO 1.4 do you want to use SWI-Prolog? 1.5 xpce prolog1.6 Release Notes 1.7 donated SWI-Prolog project 1.8 thanks Chapter 2 Overview 2.1 Quick Start 2.2 user's initialization file 2.3 initialization file and target 2.4 command line option 2.5 GNU emacs interface 2.6 online help 2.7 command line history 2.8 top-level binding r
6. Performance Evaluation
Now let's refine the wamcc system and compare other Prolog systems, either academic or commercial.
6.1 benchmarking procedureTable 1 shows the performance of the traditional benchmark wamcc. Sparc2 (2.85 MIPS) in seconds uses the-O2 option of gcc2.5.8. For each program, we can find that the number of lines of the prolog source program has to compile time (
programming is telling the machine what you want and letting the machine figure out how to do it. ( this is a very difficult thing to imagine for programmers who are used to the imperative language, but we'll give an example to illustrate this "smart") declarative programming to describe the nature of the object, so that the computer understands the goal, not the process. Declarative programming does not need to tell the computer the problem area to avoid the attendant side effects. Instruction
Content SummaryList definition;The use of oneness in the list;anonymous variables;List definitionAs the name implies, a list is a collection of multiple elements. More precisely, it is a finite sequence of elements. In the Prolog list, there are some specific examples:[Mia, Vincent, Jules, Yolanda][Mia, Robber (Honey_bunny), X, 2, Mia][ ][Mia, [Vincent, Jules], [Butch, Girlfriend (Butch)][[], Dead (z), [2, [B, C]], [], Z, [2, [B, C]]]From the example
The core of Geni--Inference machine (1) Knowledge representationThe last sentence of the goal paragraph is the clause infer (), which implies "reasoning".Thus, enter the core of the Geni and look at the operation of the inference machine.Infer () Infer ():-topic (Maingoal,_), Go ([],maingoal, ""),!. Infer ():-errorexit.Topic (maingoal,_)Topic existing in the fact base Geni, take out the Maingoal = "Animal",See the "Visual Prolog Web Expert system (4
To write a simple expert system, we plan to use the PROLOG Language in a short time.
Reference: tyros73.pdf (Tutorial document on the official website. Many of the following content will be referenced since then. For short, tyros PS: it seems that it is not much simpler -_-! ), AI tutorial, two slides on Baidu Library
IDE: Visual Prolog (vip ps: Taobao ...)
1. Install
the environment and the input information given and the problems to be solved. So it is the reasoning process under the guidance of the environmental model. This approach has great flexibility, conversational ability, self-explanatory ability and learning ability. This method is better than the traditional method to solve some conditions and goals of the non-clear or incomplete unstructured problem, it usually uses heuristic, heuristics strategy to solve the problem.Second,
3. Use WordNet to discuss the basic issues of using WordNet, and give several convenient predicates to improve efficiency. For more documents, see the source program. (1) Create the WordNet database file for indexing Prolog, with a total of 484381 lines of code. Therefore, improving file processing speed is one of the main goals of WordNet. One way to reduce word query time is to create an index. To search for words from WordNet, we need to use the pr
The inventor of the GNU Prolog array Prolog design is a scholar at the University of Marseille, France. In order to maintain its pure language and Academic characteristics, the original Prolog has no arrays and no explicit data types. This is not necessarily a good thing for the actual needs of Using Prolog, because in
Learning notes for building an Expert System Using Prolog (2) II. the inference engine using PROLOG has a built-in backward chain inference engine, which is used to implement some functions of the expert system. The rules of PROLOG indicate knowledge, and the inference engine is used to obtain answers. Each rule has a general goal and multiple sub-goals. The infe
(x):-Witch (x).The query is as follows:?-Magic (house_elf).?-wizard (Harry).?-Magic (Wizard).?-Magic (' McGonagall ').?-Magic (Hermione).and draw a search tree of Magic (Hermione).My answers and explanations:1.?-Magic (house_elf). My Prolog implementation will make an error on this issue, because the wizard does not implement this predicate, but the query as a whole is invalid because it is neither a fact nor a push to export;2.?-wizard (Harry). My
The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion;
products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the
content of the page makes you feel confusing, please write us an email, we will handle the problem
within 5 days after receiving your email.
If you find any instances of plagiarism from the community, please send an email to:
info-contact@alibabacloud.com
and provide relevant evidence. A staff member will contact you within 5 working days.