Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:prolog:start-en [2009/03/17 13:45] ikaf created |
pl:prolog:start-en [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | ~~LANG>pl:prolog:start~~ | ||
| ====== Prolog or there and backtrack again ====== | ====== Prolog or there and backtrack again ====== | ||
| - | |||
| - | [[:pl:prolog|Polska Wersja]] | ||
| This part of the Wiki is devoted to the Prolog language. | This part of the Wiki is devoted to the Prolog language. | ||
| It serves both as a research and didactic resource. | It serves both as a research and didactic resource. | ||
| - | This wiki is created by the members of the HeKatE project, but also by other researchers and students. It is not related to HeKatE itself, or its development. | + | ===== Learning Prolog ===== |
| - | The wiki is english-only, and all of the pages are in the __prolog__ namespace. | ||
| - | FIXME It is currently under construction --- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2006/11/14 17:33// | + | ==== Tutorials ==== |
| + | http://www.cs.bham.ac.uk/~pjh/prolog_course/sem242.html | ||
| - | ===== Learning Prolog ===== | + | http://www.cs.bham.ac.uk/~pjh/prolog_course/sem223_se.html |
| - | The [[prolog:prolog_learning]] page contains info helpful in learing Prolog, e.g. tutorials, books. | + | http://trinc-prolog.com/doc/pl_lang.htm |
| - | The primary resource. | + | http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/ |
| + | |||
| + | http://www.learnprolognow.org | ||
| + | |||
| + | ==== Books ==== | ||
| + | * [[http://web.ncf.ca/andre/publications/PPID.pdf|Prolog Programming in Depth]], {{ppid.pdf|local copy}}. | ||
| + | |||
| + | ==== Documentation ==== | ||
| + | * [[https://www.cs.tcd.ie/courses/csll/sicstus/index.html|SiCStus Prolog Manual]] | ||
| + | * [[http://www.swi-prolog.org|SWI Prolog]] | ||
| + | * [[http://www.prologonlinereference.org|Prolog Online Reference]] | ||
| ===== Teaching Prolog ===== | ===== Teaching Prolog ===== | ||
| - | The [[prolog:prolog_teaching]] page contains info helpful in teaching Prolog, e.g. courses at other universities. | ||
| - | It contains things that do not necessarily fit in the //learing// part. | + | * http://www.csci.csusb.edu/dick/cs320/prolog/joke.plg |
| + | * http://www.csci.csusb.edu/dick/samples/languages.html | ||
| + | * http://www.csci.csusb.edu/dick/samples/prolog.www.sites.html | ||
| + | * http://www.csci.csusb.edu/dick/cs320/prolog/ | ||
| + | * http://www.csci.csusb.edu/dick/cs320/prolog/lab3.html | ||
| + | * http://www.csci.csusb.edu/dick/samples/prolog.html | ||
| + | * [[http://scom.hud.ac.uk/scomtlm/cam326/logic/logic.html|notes on logic and Prolog]] | ||
| + | * http://www.learnprolognow.org for teachers and students (you can order a book containing the tutorial for low-budget) | ||
| + | |||
| + | * http://cs.georgefox.edu/~dhansen/Glomus/Web/index.php | ||
| ===== Prolog Tools ===== | ===== Prolog Tools ===== | ||
| Downloadable Prolog-related software, such as compilers, biblios, etc. | Downloadable Prolog-related software, such as compilers, biblios, etc. | ||
| - | see [[prolog:prolog_tools]] | + | see [[prolog_tools]] |
| ===== Prolog Research ===== | ===== Prolog Research ===== | ||
| - | Advanced topics [[prolog:prolog_research]] | + | Advanced topics [[prolog_research]] |
| ===== Prolog Examples ===== | ===== Prolog Examples ===== | ||
| - | Some [[prolog:prolog_examples]] what can be done in Prolog. | + | |
| + | ==== Colin Barker Prolog Goodies ==== | ||
| + | See [[http://perso.orange.fr/colin.barker/lpa/lpa.htm|LPA goodies]] | ||
| + | |||
| + | See [[http://perso.orange.fr/colin.barker/tpro1/tpro.htm|Turbo Prolog]] | ||
| + | |||
| + | See [[http://perso.orange.fr/colin.barker/sands.htm||The Art of Prolog]] | ||
| + | |||
| + | ==== Attempto ==== | ||
| + | |||
| + | http://attempto.ifi.uzh.ch/site/description/ | ||
| + | |||
| + | Attempto Controlled English (ACE) is a controlled natural language, i.e. a rich subset of standard English designed to serve as specification and knowledge representation language. ACE allows users to express professional texts precisely, and in the terms of their respective application domain. As any language, ACE must be learned to be used competently, but this amounts to learning the differences between ACE and full English, formulated as a small set of ACE construction and interpretation rules. Once written, ACE texts can be read and understood by anybody. | ||
| + | |||
| + | ACE and its tools (Attempto Parsing Engine APE, Attempto Reasoner RACE, Attempto Verbaliser DRACE etc.) are intended for professionals who want to use formal notations and formal methods, but may not be familiar with them. Thus the Attempto system has been designed in a way that allows users to work solely on the level of ACE without having to take recourse to its internal logic representation. | ||
| + | |||
| + | ACE appears perfectly natural, but — being a controlled subset of English — is in fact a formal language. ACE texts are computer-processable and can be unambiguously translated into discourse representation structures, a syntactic variant of first-order logic. Discourse representation structures derived from ACE texts have been translated into various other languages, for instance FOL, PQL, FLUX, RuleML, and a rule format to be used for Courteous Logic Programs and for stable model semantics. Using discourse representation structures as inter-lingua we have developed a prototypical bidirectional translation of ACE into and from OWL DL. | ||
| + | |||
| + | ACE has been used in several applications, and was adopted as the controlled language of the EU Network of Excellence REWERSE (Reasoning on the Web with Semantics and Rules). | ||
| ===== News and Info ===== | ===== News and Info ===== | ||
| [[http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/aug04/index.html|ALP newsletter]] | [[http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/aug04/index.html|ALP newsletter]] | ||
