WedX - журнал о программировании и компьютерных науках

Пролог Power Function

Я новичок в Прологе, и хотя я могу понять код, мне трудно создавать программы. Я пытаюсь создать функцию, которая принимает целое число и возвращает 2 ^ (целое число) пример pow (4) возвращает 16 (2 ^ 4). Мне также нужно, чтобы он был в цикле, чтобы продолжать вводить данные до тех пор, пока пользователь не введет отрицательное целое число, а затем он выйдет.

В этом примере C — счетчик, X — пользовательский ввод, пытался включить переменную для вывода, но не могу придумать, как ее интегрировать.

pow(0):- 0.
pow(1):- 2.
pow(X):-
   X > 1, 
   X is X-1,
   power(X),
   C is X-1,
   pow(X1),
   X is 2*2.
pow(X):- X<0, C is 0.
pow(C).

  • Обратите внимание, что SWI-Prolog имеет встроенную расширенную функцию: swi-prolog.org/ pldoc/man?function=**/2 И вы также можете взглянуть на этот вопрос: stackoverflow.com/questions/1448790/power-function-in-prolog 09.02.2014
  • Вы не можете сделать X is X-1, поскольку после создания экземпляра X вы не можете повторно создать его внутри предложения. Таким образом, X is X-1 всегда будет давать сбой, поскольку конкретное значение X никогда не может совпадать со значением X-1. Кроме того, в Прологе нет функций, возвращающих значения. Итак, pow(0) :- 0 не делает того, что вы думаете. И вы можете не понимать код так хорошо, как вам кажется. Вы можете получить хорошую книгу по программированию на Прологе или посетить онлайн-учебник. Как только вы поймете Пролог, программирование на нем станет проще. 09.02.2014

Ответы:


1

Вам действительно нужно что-то прочитать о Прологе, прежде чем пытаться программировать на нем. Например, просмотрите https://en.wikibooks.org/wiki/Prolog.

В Прологе нет «функций»: есть предикаты. Все входы и выходы через параметры предиката, сам предикат ничего не возвращает.

Так что pow(0):- 0. и pow(1):- 2. не имеют никакого смысла. Что вам нужно, так это pow(0, 0). и pow(1, 2).: пусть первый параметр будет входным, а второй - выходным.

X is X-1 также не имеет смысла: в Прологе переменные похожи на алгебраические переменные, X означает одно и то же значение во всей системе уравнений. Переменные в основном предназначены для однократной записи, и в этом и подобных случаях вам придется вводить новые переменные: X1 is X-1.

Надеюсь, что информации достаточно для начала.

09.02.2014
  • Мне нравится аналогия algebra variables. 10.02.2014

  • 2

    [Наивное] рекурсивное решение:

    pow2(0,1) .     % base case: any number raised to the 0 power is 1, by definition
    pow2(N,M) :-    % a positive integral power of 2 is computed thus:
      integer(N) ,  % - verify than N is an inetger
      N > 0 ,       % - verify that N is positive
      N1 is N-1 ,   % - decrement N (towards zero)
      pow2(N1,M1) , % - recurse down (when we hit zero, we start popping the stack)
      M is M1*2     % - multiply by 2
      .             %
    pow2(N,M) :-    % negative integral powers of 2 are computed the same way:
      integer(N) ,  % - verify than N is an integer
      N < 0 ,       % - verify than N is negative
      N1 is N+1 ,   % - increment N (towards zero).
      pow2(N1,M) ,  % - recurse down (we we hit zero, we start popping the stack)
      M is M / 2.0  % - divide by 2.
      .             % Easy!
    

    Вышеприведенное, однако, приведет к переполнению стека, когда уровень рекурсии достаточно высок (игнорируя проблемы арифметического переполнения). ТАК...

    Решение с хвостовой рекурсией оптимизируется в итерации:

    pow2(N,M) :-      %
      integer(N) ,    % validate that N is an integer
      pow2(N,1,M)     % invoke the worker predicate, seeding the accumulator with 1
      .               %
    
    pow2(0,M,M) .     % when we hit zero, we're done
    pow2(N,T,M) :-    % otherwise...
      N > 0 ,         % - if N is positive,
      N1 is N-1 ,     % - decrement N
      T1 is T*2 ,     % - increment the accumulator
      pow2(N1,T1,M)   % - recurse down
      .               %
    pow2(N,T,M) :-    % otherwise...
      N < 0 ,         % - if N is negative,
      N1 is N+1 ,     % - increment N
      T1 is T / 2.0 , % - increment the accumulator
      pow2(N1,T1,M)   % - recurse down
      .               %
    
    10.02.2014
    Новые материалы

    Я хотел выучить язык программирования MVC4, но не мог выучить его раньше, потому что это выглядит сложно…
    Просто начните и учитесь самостоятельно Я хотел выучить язык программирования MVC4, но не мог выучить его раньше, потому что он кажется мне сложным, и я бросил его. Это в основном инструмент..

    Лицензии с открытым исходным кодом: руководство для разработчиков и создателей
    В динамичном мире разработки программного обеспечения открытый исходный код стал мощной парадигмой, способствующей сотрудничеству, инновациям и прогрессу, движимому сообществом. В основе..

    Объяснение документов 02: BERT
    BERT представил двухступенчатую структуру обучения: предварительное обучение и тонкая настройка. Во время предварительного обучения модель обучается на неразмеченных данных с помощью..

    Как проанализировать работу вашего классификатора?
    Не всегда просто знать, какие показатели использовать С развитием глубокого обучения все больше и больше людей учатся обучать свой первый классификатор. Но как только вы закончите..

    Работа с цепями Маркова, часть 4 (Машинное обучение)
    Нелинейные цепи Маркова с агрегатором и их приложения (arXiv) Автор : Бар Лайт Аннотация: Изучаются свойства подкласса случайных процессов, называемых дискретными нелинейными цепями Маркова..

    Crazy Laravel Livewire упростил мне создание электронной коммерции (панель администратора и API) [Часть 3]
    Как вы сегодня, ребята? В этой части мы создадим CRUD для данных о продукте. Думаю, в этой части я не буду слишком много делиться теорией, но чаще буду делиться своим кодом. Потому что..

    Использование машинного обучения и Python для классификации 1000 сезонов новичков MLB Hitter
    Чему может научиться машина, глядя на сезоны новичков 1000 игроков MLB? Это то, что исследует это приложение. В этом процессе мы будем использовать неконтролируемое обучение, чтобы..


    Для любых предложений по сайту: [email protected]