Мне нужно сделать небольшую программу для работы с наборами, такими как A = {3,5,1,8}. Набор, как это может быть сделано фактами: set(a,3)
set(a,5)
set(a,1)
set(a,8)
и у меня есть эти домены и эт
Я хочу написать программу в Prolog, которая подтверждает, упорядочено ли b-дерево целых чисел или нет. Порядок идет от меньшего к большему. Это то, что я написал до сих пор, но я не добился какой-либо
в визуальном прологе есть раздел «домены» в пролограммной программе, в которой вы можете определить типы. Есть ли что-то подобное в сви-прологе? В визуальном прологе тип определяется как: domains
New