Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Курсовые обзорные » Перевірка логічного проходження методом резолюції

Реферат Перевірка логічного проходження методом резолюції





, Y), soed (Xs, Y, Z). ([X | Xs], Y, Z): - contrar (X, Y), udalit ($ X, Y, D), soed (Xs, D, Z) . ([$ X | Xs], Y, [$ X | Z]): - not (vhodit ($ X, Y)), not (contrar ($ X, Y)), soed (Xs, Y, Z) . ([$ X | Xs], Y, Z): - vhodit ($ X, Y), soed (Xs, Y, Z). ([$ X | Xs], Y, Z): - contrar ($ X , Y), udalit (X, Y, D), soed (Xs, D, Z). ([X | Xs]): - prov (X, Xs). ([], _). (X, [Y | Ys]): - soed (X, Y, Z), prov (Z, Ys). (X): - perestanovka (X, Z), nachprov (Z).



Додаток Б


Лістинг програми на мові Haskell

cont :: String -> Stringx

| (head x == '~') = tail x

| otherwise = "~" + + x :: String -> String -> Boolx y = if (("~" + + x == y) | | ( "~" + + y == x)) then True else False :: String -> [String] -> Boolx [] = Falsex y = if (srav x (head y) == True) then True else contrar x (tail y) :: Eq (a) => [a] -> [[a]] [] = [[]] (x: xs) = scep x (perestanovka xs) :: Eq ( a) => a-> [[a]] -> [[a]] x [[]] = [[x]] x [] = [] x (h: t) = (rev xh) + + (scep xt) :: a-> [a] -> [[a]] x [] = [] xh = [(x: h), (reverse (x: h))] :: [ String] -> [String] -> [String] [] x = xx y

| (x == []) = x

| (not (elem (head x) y)) && (not (contrar (head x) y))

= (head x): soed (tail x) y

| contrar (head x) y = soed (tail x) (delete (cont (head x)) y)

| otherwise = soed (tail x) y :: [[String]] -> [String] [] = True (x: xs) = pr x xsx (y: ys)

| x == [] = True

| ys == [] = if (soed xy) == [] then True else False

| otherwise = pr (soed xy) ys [] = Falsex

| nachprov (head x) = True

| otherwise = prov (tail x) x = prov (perestanovka x)


Назад | сторінка 8 з 8





Схожі реферати:

  • Реферат на тему: Рішення логічного завдання на мові Prolog
  • Реферат на тему: Розробка програми з використанням мови логічного програмування Prolog
  • Реферат на тему: Розробка програми з використанням мови логічного програмування Prolog
  • Реферат на тему: Розробка програми на мові C + +
  • Реферат на тему: Розробка програми на мові C #