„Elsőrendű nyelv” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →Könyvek: Átirányítások javítása (Turkásznivalók), replaced: ELTE → ELTE |
Nincs szerkesztési összefoglaló |
||
238. sor:
=== Külső hivatkozások ===
* [
* [http://www.pte.hu/~uhi/kurzus/prolog/ Nagyon vázlatos, de nem hiányos összefoglalás az elsőrendű logikáról]
* [http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_pkata.pdf Részletesebb, de nem magyar nyelvű összefoglalás] (angolul)
| |||