Я знаю, что можно определить definite clause grammars in Picat, но синтаксис гораздо более подробный, чем в Prolog. В Прологе определенная оговорки грамматику можно записать более кратко: pronoun -->
Я хочу быстро создать структуру в Picat. Но компоненты структуры должны оцениваться при создании структуры. До сих пор я пытался, что дает мне структуру, когда компоненты уже константы: Picat 2.0b5, (
Я стараюсь, чтобы прочитать строку в качестве строки из консоли (стандартный ввод) в picat и получить свою половину: main =>
L = read_line(),
B = L.length/2,
S = L.slice(1,B),
prin