Dostępny do przeszukiwania opis języka Prolog online

Czy istnieje opis języka Prolog (składni i semantyki) dostępny online?Dostępny do przeszukiwania opis języka Prolog online

Istnieje wiele podręczników referencyjnych dla implementacji. Ale żaden z nich nie jest opisem języka. Na przykład SWI Prolog instrukcja states

Niniejsza instrukcja nie opisuje pełną składnię i semantykę Prologu.

I refers do zestawu książek drukowanych na papierze, opublikowanej w latach osiemdziesiątych. I do standardu ISO, który jest dla pieniędzy i "powinien być dostępny od przedstawiciela ISO mojego kraju" bełkot.

Źródło

2012-06-06 horsh

Możesz zajrzeć do podręcznika GNU Prolog, mogą występować różnice w implementacji, ale GNU Prolog jest zgodny ze standardem ISO także: http://www.gprolog.org/manual/gprolog.html –

To tylko kolejny podręcznik wdrażania. Czy określa notację liczb ósemkowych? Czy omawia takie ładne detale, jak to, co jest białą przestrzenią i gdzie białe spacje są obowiązkowe? Co robi lewy ukośnik na końcu linii? itp. – horsh

Googlng Prolog Składnia to: http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_45.html –

Norma ISO jest dostępna dla bardzo niskiej cenie (obecnie USD 60) from the ANSI webstore jako dokument INCITS. Tam również otrzymujesz dwa sprostowania za darmo. Zobacz iso-prolog tag info dla wszystkich bieżących dokumentów. Oto kompleksowy overview of all built-in predicates, który obejmuje Cor.1 i Cor.2.

Jeśli chcesz wydruk wersję, najlepiej jest nadal drukować powyżej INCITS udokumentować sobie świadomość, że brakuje strona 10 (strona celowo pozostawił puste) — inaczej nieparzyste znajdują się po lewej stronie. Dokument jest skanem A4 z dwiema kolumnami na stronę. Nieoficjalny załącznik A idzie lepiej w osobnym zobowiązaniu. Zamiast tego dodaj dwa sprostowania!

Alternatywnie, SAI sprzedaje hardcopy.

Źródło

2012-06-06 12:37:06 false

30 USD jest zdecydowanie lepsze niż 238 CHF. – horsh

@WouterBeek: Ta odpowiedź będzie dla Ciebie interesująca. Możesz również uzyskać wszystkie dokumenty od krajowego organu członkowskiego. [Tutaj jest Cor.2] (http: //www.nen.nl/NEN-Shop-2/Standard/NENISOIEC-1321111995C22012-en.htm). – false

OMG! Dziękuję Ci. – horsh

-1

Możesz też użyć następującego preprint o
dodatku do książki, która nie jest standardowym rdzeniem ISO:

ISO Prolog: Podsumowanie Projektu proponowanej normy.
Michael A. Covington, 1993
http://www.uv.es/fbarber/prolog/isoprolog94_ps.Z
http://www.dropbox.com/s/kr1pbrfc1kqzdpq/isoprolog94_ps.Z

jest znacznie krótszy niż w pełnym standardzie ISO, ale
to nieformalnie poprzedza i obejmuje prawie takie same.

Źródło

2012-06-07 00:03:58

Ten dokument ma tylko wartość historyczną dla kogoś zainteresowanego przeczytaniem osobistej perspektywy standaryzacji przed ostatecznym IS. Zawiera wiele różnic w stosunku do rzeczywistego standardu (np. 'Fail_if',' syntax_error') i nie może być postrzegane jako podsumowanie [tag: iso-prolog]. Kod ** real ** dostępny jest za 30 USD od ANSI, patrz [iso-prolog] (http://stackoverflow.com/tags/iso-prolog/info) – false

Dostępny do przeszukiwania opis języka Prolog online

Odpowiedz

Powiązane problemy