Използвал съм \/ (чашка) за свръзката ИЛИ, както се използва /\ (шапка) за свръзката И (не зная как се вижда на твоя компютър).

Prolog е език за програмиране, създаден през 1979 по идея на един французин, въпреки че едни англичани му оспорваха. В началото на 80-ти много хора възлагаха надежди това да стане средството работа с искуствен интелект; даже си спомням, че едни японци тогава се бяха засилили да правят някакви супер бързи паралелни компютри, които са специализирани за Prolog. Но от тогава много неща се промениха ...
Мога да ти кажа още неща за Prolog, неговата сила и слабости, ... ама не зная дали ще е интересно и да не става много дълъг постинга, спирам за сега.

Още нещо. Понеже ми се струва, че в този клуб се гледа на логиката по-скоро от хуманитарната страна (и приложение) искам до доизясня нещо за термина CWA.
Той значи "каквото не е известно приемаме за не-вярно", но това разбира се няма нищо общо нормалната човешка логика даже и с математическата логика. Това е "техничарски" термин и е възникнал около 1980 в изследванията по искуствен интелект. CWA не е плюс, а е проблем и недостатък на логическите методи в ИИ - понеже когато компютрите не са знаели нещо са го приемали за лъжа; така действа Prolog, ако програмиста не вземе специални мерки :)