Prolog
4 отговора
217 прегледа
Prolog
Искам да попитам, дали някой може да ми помогне да се преборя с някоя система за писане на приложения на Пролог - именно SWI PROLOG, или да ми посочи човешки написан учебник по въпроса, т. е да не е над 300 страници, пълни с тъпизми. Не мога да разбера на елементарно ниво какво да правя. Системата се държи доста странно, не признава кои са вградените й предикати, и като дефинирам някой свой предикат, който съвпада с някакъв неин вграден, се сърди. До някакво подобие на exe въобще не мога са стигна. Надявам се тук да има и хора, които се занимават не само с езици за процедурно програмиране, макар че са рядкост.
Благодаря предварително.
Благодаря предварително.
в отговор на pi6man_logic
#2
Re: Prolog
Az ot 2 godini polzvam Trinc Prolog i go namiram mnogo po dobar ot SWI.
Ima grafi4en interface i ne se skapva tolkova 4esto.
N0 e platen.Ima 45 dni trial period.
Ako downloadva6 po starata versia e 90 dni.
Za knigi neznam, no ima dosta dobri tutoriali v Internet.
Ako se interesuva6 prez po4ivnite dni 6te ti sabera i izpratia niakolko linka.
A za SWI - nai dobre im polzvai tutoriala.
Uspeh
Ima grafi4en interface i ne se skapva tolkova 4esto.
N0 e platen.Ima 45 dni trial period.
Ako downloadva6 po starata versia e 90 dni.
Za knigi neznam, no ima dosta dobri tutoriali v Internet.
Ako se interesuva6 prez po4ivnite dni 6te ti sabera i izpratia niakolko linka.
A za SWI - nai dobre im polzvai tutoriala.
Uspeh
в отговор на pi6man_logic
#3
Re: Prolog
Poneje iskash oshte tupizmi, az moga da ti preporucham edin uchebnik po logika, "A Problem Course in Mathematical Logic by Stefan Bilaniuk", download free, ot adresa:
[линк]
Tam ima oshte 300 stranici s tupizmi :)
Stiaga maitap, seriozno ti posochih adresa. I kakvo vuznameriavash da pravish s Prolog, ako ne e samo zaradi izpit po logichesko programirane v universiteta?
Zashtoto Prolog ne e nai-vurhovnoto postijenie -- prolog e niakakvo ogranicheno prilojenie na razvitia ot Julia Robinson metod na "Rezoluciata", koito polzva ogranichenia ezik na Horn-ovi klauzi.
[линк]
Tam ima oshte 300 stranici s tupizmi :)
Stiaga maitap, seriozno ti posochih adresa. I kakvo vuznameriavash da pravish s Prolog, ako ne e samo zaradi izpit po logichesko programirane v universiteta?
Zashtoto Prolog ne e nai-vurhovnoto postijenie -- prolog e niakakvo ogranicheno prilojenie na razvitia ot Julia Robinson metod na "Rezoluciata", koito polzva ogranichenia ezik na Horn-ovi klauzi.
в отговор на pi6man_logic
#4
Re: Prolog
Ами за Пролога, значи мен на времето ме беше прихванало едно
нерабираемо желание да пиша на ПРОЛОГ и тогава доста среди ми минаха
през ръцете. Така и не прописах, но според мен най-удобната беше
Sicstus Prolog. Поне на мен най ми допадна. Имаше и едно чудо наречено
Visual Prolog което ми се видя прилично, но имаше някакъв проблем с него,
не си спомням какъв точно.
Иначе на пролога му признавам едно : унификацията е страхотен метод за предаване на параметри. Много и се кефя. Ама на пролог нямам вече намерение да пиша.
нерабираемо желание да пиша на ПРОЛОГ и тогава доста среди ми минаха
през ръцете. Така и не прописах, но според мен най-удобната беше
Sicstus Prolog. Поне на мен най ми допадна. Имаше и едно чудо наречено
Visual Prolog което ми се видя прилично, но имаше някакъв проблем с него,
не си спомням какъв точно.
Иначе на пролога му признавам едно : унификацията е страхотен метод за предаване на параметри. Много и се кефя. Ама на пролог нямам вече намерение да пиша.