| Property |
Value |
| dbo:abstract
|
- A Prolog egy programozási nyelv, melyet fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique kifejezés rövidítése. Az első tekinthető. A Prolog egy megadott logikai (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából. Röviddel Colmauer után is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
- <api batchcomplete="">A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése. Az első logikai programozási nyelvnek tekinthető. A Prolog egy megadott logikai formuláról (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Uti formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a ti formulปól.Röviddel Colmauer után Szeredi Péter is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
- <api batchcomplete="">A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése. Az első logikai programozási nyelvnek tekinthető. A Prolog egy megadott logikai formuláról (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából.Röviddel Colmauer után Szeredi Péter is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
- A Prolog egy programozási nyelv, melyet fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique kifejezés rövidítése. Az első tekinthető. A Prolog egy megadott logikai (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából. Röviddel Colmauer után is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
- <api batchcomplete="">A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése. Az első logikai programozási nyelvnek tekinthető. A Prolog egy megadott logikai formuláról (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Uti formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a ti formulปól.Röviddel Colmauer után Szeredi Péter is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
- <api batchcomplete="">A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése. Az első logikai programozási nyelvnek tekinthető. A Prolog egy megadott logikai formuláról (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából.Röviddel Colmauer után Szeredi Péter is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 34843 (xsd:nonNegativeInteger)
- 35261 (xsd:nonNegativeInteger)
- 35381 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
|
- 22658157 (xsd:integer)
- 24587563 (xsd:integer)
- 26202460 (xsd:integer)
|
| prop-hu:befolyásoltNyelvek
| |
| prop-hu:date
|
- 20110814071727 (xsd:decimal)
- 20120807163814 (xsd:decimal)
|
| prop-hu:dialektus
|
- ISO Prolog, Edinburgh Prolog (hu)
- ISO Prolog, Edinburgh Prolog (hu)
|
| prop-hu:kiterjesztés
|
- .pl .pro .P (hu)
- .pl .pro .P (hu)
|
| prop-hu:megjelent
| |
| prop-hu:megvalósítások
|
- BProlog, Ciao, ECLiPSe, GNU Prolog, Jekejeke Prolog, Logic Programming Associates, Poplog Prolog, P#, Quintus, SICStus, Strawberry, SWI-Prolog, tuProlog, XSB, YAP-Prolog (hu)
- BProlog, Ciao, ECLiPSe, GNU Prolog, Jekejeke Prolog, Logic Programming Associates, Poplog Prolog, P#, Quintus, SICStus, Strawberry, SWI-Prolog, tuProlog, XSB, YAP-Prolog (hu)
|
| prop-hu:név
| |
| prop-hu:paradigma
| |
| prop-hu:tervező
| |
| prop-hu:url
| |
| prop-hu:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- A Prolog egy programozási nyelv, melyet fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique kifejezés rövidítése. Az első tekinthető. A Prolog egy megadott logikai (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából. Röviddel Colmauer után is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
- <api batchcomplete="">A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése. Az első logikai programozási nyelvnek tekinthető. A Prolog egy megadott logikai formuláról (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. (hu)
- A Prolog egy programozási nyelv, melyet fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique kifejezés rövidítése. Az első tekinthető. A Prolog egy megadott logikai (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. Utóbbi formulák és a célformula a program bemenete, a kimenet pedig a válasz, hogy következik-e a célformula a többi formulából. Röviddel Colmauer után is kifejlesztett egy Prolog interpretert Magyarországon. (hu)
- <api batchcomplete="">A Prolog egy programozási nyelv, melyet Alain Colmerauer fejlesztett ki 1972-ben, a Prolog név a francia eredetű programmation en logique (logikai programozás) kifejezés rövidítése. Az első logikai programozási nyelvnek tekinthető. A Prolog egy megadott logikai formuláról (célformula) képes eldönteni, hogy logikai következménye-e formulák egy adott halmazának. (hu)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
