Използвам определена граматика на клауза, за да анализирам низови литерали в Prolog, но това граматично правило може да анализира само низови литерали, които съдържат буквени знаци: string_literal(S) --> "\"", symbol(S), "\"". symbol([L|Ls])...

Може ли някой да ми помогне да генерирам прологова граматика на проста дефиниция на клас. Това е примерно dcg правило, което съм написал. :- use_module(library(pio)). %classrule(Z) -->class,letter(X),letters(L),{name(Z,[X|L])}....

Прочетох много от предложените въпроси, но все още съм заседнал с проблема си с обучението в момента, опитвам се да напиша прост анализатор на s-израз на Lisp и не мога да разбера как да се справя с рекурсивния характер на s-израз без връзвам мозъка...

Блокирам предикат за кодиране в Prolog . Трябва да кодирам тези два предиката: Ако извикам: u([a,b,c,d,e,f], X). ще даде X=[a,b], X=[b,c], X=[c,d] ... Ако извикам: v([a,b,c,d,e,f], X). ще даде X=[a,b], X=[c,d], X=[e,f] ... Благодаря...

Имам два различни вида изречения за анализ, но засега ще им дам прости имена. По принцип имам две дървета за анализ 1. A --> A , pp A --> dv, np 2. A --> tv, np Надявам се, че има смисъл, просто нямам представа как да програмирам...

Трябва да напиша предикат ListInTree(T,X), който е верен, когато T е дърво със списък във всеки възел, а X е конкатенацията на всички списъци (при условие, че се посещава в предварителна поръчка). Наистина не мога да разбера как да използвам...