Форум на Исходниках.RU https://forum.sources.ru Форум на Исходниках.RU Форум на Исходниках.RU https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3829342 Sun, 26 Apr 2020 21:49:27 +0000 Помогите пожалуйста найти ошибку)(Prolog) https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3829342 Если очень хочется написать с заглавной, то строка берётся в двойные кавычки, символ - в апострофы.

Я убрала заглавные. Константы в прологе начинаются со строчной буквы.

    domains
    s=string
    m=symbol
     
    predicates
    nondeterm Metal(m,s)
    nondeterm UnMetal(m,s)
     
     
     
    clauses
    Metal(m,hidrargirum).
    Metal(m,ferum).
    Metal(m,aluminium).
    Metal(m,titan).
    Metal(m,cuprum).
    Metal(m,uranium).
    Metal(m,franziy).
    Metal(m,zinck).
    Metal(m,kaliy).
    Metal(m,rubidiy).
    Metal(m,aurum).
    Metal(m,argentum).
    Metal(m,magniy).
    Metal(m,calciy).
    Metal(m,cesium).
    Metal(m,radon).
    Metal(m,wolfram).
    Metal(m,nicel).
     
    UnMetal(u,silicium).
    UnMetal(u,oxygen).
    UnMetal(u,hydrogen).
    UnMetal(u,phosphorus).
    UnMetal(u,sulfur).
    UnMetal(u,borum).
    UnMetal(u,carbon).
    UnMetal(u,chlor).
    UnMetal(u,selen).
    UnMetal(u,arsen).
    UnMetal(u,bromium).
    UnMetal(u,iodum).
    UnMetal(u,argentum).
    UnMetal(u,helium).
    UnMetal(u,ftor).
    UnMetal(u,krypton).
    UnMetal(u,xenon).
    UnMetal(u,radon).
    UnMetal(u,neon).
     
    Goal
    write("Metals are"), nl, Metal(_,X),write(X),nl, readchar(_),fail.


Добавлено
Если нужно напечатать и металлы, и неметаллы, то ставим такую цель
    Goal
    write("Metals are"), nl, Metal(_,X),write(X),nl, readchar(_),fail;
    nl,write("Unmetals are"),nl,UnMetal(_,X),write(X),nl, readchar(_),fail.
]]> swf Prolog https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3754508 Sun, 24 Dec 2017 15:54:11 +0000 Помогите пожалуйста найти ошибку)(Prolog) https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3754508 Vesper Prolog https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740944 Wed, 20 Sep 2017 12:17:05 +0000 Помогите пожалуйста найти ошибку)(Prolog) https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740944 amk Prolog https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740518 Mon, 18 Sep 2017 01:29:13 +0000 Помогите пожалуйста найти ошибку)(Prolog) https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740518 Славян Prolog https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740514 Sun, 17 Sep 2017 19:24:35 +0000 Помогите пожалуйста найти ошибку)(Prolog) https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740514 Цитата Славян @
А когда это радон стал металлом? :blink:

Если что UnMetal это Не металы]]> Евгений228 Prolog https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740513 Sun, 17 Sep 2017 19:03:21 +0000 Помогите пожалуйста найти ошибку)(Prolog) https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740513 Славян Prolog https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740509 Sun, 17 Sep 2017 18:17:01 +0000 Помогите пожалуйста найти ошибку)(Prolog) https://forum.sources.ru/index.php?showtopic=411310&view=findpost&p=3740509 Нужно что бы пролог вывел просто все названия металов,
в столбик, но выбивает ошибку что не использованые предложения!
-----------------------------------------------
domains
S=String
M=Symbol
predicates
nondeterm Metal(M,S)
nondeterm UnMetal(M,S)
nondeterm Nabor(M,M)


clauses
Metal(M,Hidrargirum).
Metal(M,Ferum).
Metal(M,Aluminium).
Metal(M,Titan).
Metal(M,Cuprum).
Metal(M,Uranium).
Metal(M,Franziy).
Metal(M,Zinck).
Metal(M,Kaliy).
Metal(M,Rubidiy).
Metal(M,Aurum).
Metal(M,Argentum).
Metal(M,Magniy).
Metal(M,Calciy).
Metal(M,Cesium).
Metal(M,Radon).
Metal(M,Wolfram).
Metal(M,Nicel).

UnMetal(U,Silicium).
UnMetal(U,Oxygen).
UnMetal(U,Hydrogen).
UnMetal(U,Phosphorus).
UnMetal(U,Sulfur).
UnMetal(U,Borum).
UnMetal(U,Carbon).
UnMetal(U,Chlor).
UnMetal(U,Selen).
UnMetal(U,Arsen).
UnMetal(U,Bromium).
UnMetal(U,Iodum).
UnMetal(U,Argentum).
UnMetal(U,Helium).
UnMetal(U,Ftor).
UnMetal(U,Krypton).
UnMetal(U,Xenon).
UnMetal(U,Radon).
UnMetal(U,Neon).

Nabor(X,Y):-
Metal(M,X),UnMetal(U,Y),nl,fail.

Goal
Nabor(X,Y).
/*write("Metals are: ",Metal,"Un Metals are",UnMetal).*/]]> Евгений228 Prolog