ПРОЛОГ (Язык программирования).
- Объем книги
- 62.9Kb
Оглавление
- ПРОЛОГ (Язык программирования).
- Пролог в России
- Пролога позволяет очень компактно описывать самые сложные и эффективно
- Пролог говорили, что это "самый функциональный из декларативных языков и
- Пролог
- Прологе составлены из сочетаний констант и переменных.
- Прологе. В конце утверждения ставится точка ".". Иногда утверждение
- Пролога, используя форму записи Бэкуса-Наура, иногда называемую
- Пролога не требует пространного объяснения. Но для написания
- Пролог пытается отождествить термы при доказательстве, или
- Пролог позволяет также сравнивать арифметические выражения,
- Пролога.
- Пролог дает ответ
- Пролог дает ответ
- Прологу придется проверить все 1024 числа, прежде чем заключить, что
- Пролог сравнит число 3000 не более чем с 11 элементами множества.
- Пролог производит доказательство конъюнкции целевых утверждений