ПРОЛОГ программасының негізінде экран бетіне қандай нәтиже шығады:Clausesойнайды ("Саша", футбол).ойнайды ("Инна", волейбол).ойнайды ("Андрей", футбол).ойнайды ("Сережа", гандбол).ойнайды ("Ира", теннис).ойнайды ("Андрей", бейсбол).Goalойнайды (Х, футбол), write(X), fail.Саша, Андрей
ПРОЛОГ –та тізім элементі өзара қалай бөлінеді:үтірмен
ПРОЛОГ тілінде қалдықпен бөлу операциясы белгіленеді:mod
ПРОЛОГ-а білімдер базасы тұрадыСөйлемдерден
ПРОЛОГ-та тізімді бұлай бөлуге болады:басы және құйрығы
ПРОЛОГ-ы программа сөйлемдерден тұрады:факті, ереже, сұрау
Сайман, Ньюэлл және Шоудың жұмыстарындағы логикалық есептерді шешу үдерістерін зерттеу осы ғылым обылысының бастамасы болды:жасанды интеллект
Семантикалық желі саны бойынша нешеге бөлінеді.Біртекті, біртекті емес
Семантикалық желі типі бойынша нешеге бөлінеді Бинарлық, қосалқы
Символдар тізімінің барлғы айнымалы болып табылатын жолды таңдаңыз:VASYA, X_vova, _
Символдар тізімінің барлғы тұрақты болып табылатын жолды таңдаңыз:x, y, masha, d56
Слот - бұл ......фреймнің ішкі құрылымының жекелеген элементі
студент ("Индира", 2).студент ("Орынгүл", 1).студент ("Қуат", 3).студент ("Мика", 4).студент ("Лашын", 2).студент ("Қанат", 3).Goalстудент (X, 1), write(X)Орынгүл
студент ("Коля", 3).Goalстудент (X, 1), write(X)Оля
Тізім – бұлҚайталануы мүмкін болатын элементтер тізімі (әрбір элемент бірнеше рет кездесуі мүмкін)
Тізімделген тұжырымдардың қайсысы ереже болып табылады:ана ( X, Y ) : - ата-ана ( X, Y ), әйел ( X )
Тізімделген тұжырымдардың қайсысы тұжырымдама-сұрау болып табылады:Біледі ( Лена, Х )
Тізімделген тұжырымдардың қайсысы тұжырымдама-факті болып табылады:жақсы көреді (Ира, алма).
Тізімделген тұжырымдардың қайсысы тұжырымдама-факті болып табылады:Біледі ( Татьяна, Х )
Тізімнің басы – бұлТізімнің бірінші элементі
Достарыңызбен бөлісу: |
