XSB Prolog Aula de Laboratório. * Baixar os arquivos ‘.P’ e ‘.ecl’ de ~kss/aula em um diretório acessível pelo unix (subpasta no diretório pessoal). *

Apresentação em tema: "XSB Prolog Aula de Laboratório. * Baixar os arquivos ‘.P’ e ‘.ecl’ de ~kss/aula em um diretório acessível pelo unix (subpasta no diretório pessoal). *"— Transcrição da apresentação:

1 XSB Prolog Aula de Laboratório

2 * Baixar os arquivos ‘.P’ e ‘.ecl’ de ~kss/aula em um diretório acessível pelo unix (subpasta no diretório pessoal). * Mudar para este diretório * Abrir os arquivos baixados num editor de texto (Context por exemplo)

3 * XSB é um sistema desenvolvimento cuja linguagem é Prolog * É multi-plataforma * Código-fonte aberto e em desenvolvimento * Contém diversas extensões prolog * Possui interfaces para: Outras linguagens de programação: C, Java Banco de dados: Oracle, ODBC * Suporte a FLORA: uma sofisticada interface orientada a objetos * Site: http://xsb.sourceforge.net XSB

4 XSB * Executar Conectar-se via ssh a buique.cin.ufpe.br Mudar para o diretório onde estão os arquivos ‘.P’ Executar xsb no prompt Unix. /home/robocup/program_files/linux/XSB/bin/xsb * Carregar Arquivo Digitar [FILE_NAME_1,...,FILE_NAME_N]. para carregar N arquivos no ambiente de XSB; ou consult(FILE_NAME). ou reconsult(FILE_NAME).

5 XSB * Consultar Digitar a consulta e pressionar return para obter o resultado e o prompt para a próxima consulta Ex.: parent(tom, X). * Encerrar Pressionar CTRL+C para interromper a execução da consulta Digitar halt. para sair do XSB

6 XSB * Exemplos Carregar o arquivo family.P e : Realizar consultar que responda as seguintes perguntas. t Quem é a mãe de bob? t Quem são os filhos de tom? t Quem são os netos de pam? t Quem são os ancestrais de jim?

7 XSB * Debug ?-trace. t Ativa o trace sistemático de todos os predicados. t Todos os objetivos do interpretador são impressos antecedidos das seguinte palavras chaves: ¤CALL: entrada no predicado ¤EXIT: retorno com sucesso ¤REDO: invocação do mesmo objetivo causado por backtracking ¤FAIL: não foi possível provar objetivo t Para interromper um trace: responder ´n: ´ ao prompt'. Veja o trace da consulta mother(X,jim).

8 XSB ?-notrace. t Apaga(desativa) o trace sistemático. ?-spy(Pred/Arity). t Ativa o trace de predicados específicos. t Imprime apenas os CALL,..., REDO, EXIT,..., FAIL do predicado passado como argumento. t Os predicados são especificados por seu nome/aridade; onde a aridade é opcional. t spy([..., Pred1/Aity1,...]). : para especificar uma lista de predicados a rastrear.

9 XSB ?-nospy(Pred/Arity). t Desativa apenas a espionagem do predicado indicado. ?-nospy([..., Pred/Arity,...]). t Para desativar espionagem de mais de um predicado. ?-nodebug. t Desativa a espionagem para todos os predicados. * Redirecionar o Debug A seqüência t ?-debug_ctl(redirect,‘arquivodebug.log'). t ?-debug_ctl(prompt,off). Direcionará a saída do debug para o arquivo ‘arquivodebug.log'

10 ECLIPSE Aula de Laboratório

11 ECLIPSE * ECLIPSE = ECLIPSE Common Logic Programming System * Plataforma de desenvolvimento baseado em Prolog * Integra várias extensões da programação em lógica Constraint Logic Programming (CLP) * http://www.icparc.ic.ac.uk/eclipse

12 ECLIPSE * Executar Conectar-se via ssh a buique.cin.ufpe.br Mudar para o diretório onde estão os arquivos ‘.ecl’ Executar xsb no prompt Unix. /home/wumpus/eclipse/linux/bin/eclipse * Carregar Arquivo Digitar [FILE_NAME_1,...,FILE_NAME_N]. para carregar N arquivos no ambiente de XSB; ou compile(FILE_NAME).

13 ECLIPSE * Constraint solver libraries Implementação de técnicas para solucionar problemas com restrição * Exemplos: Suspended Goals t Posterga o teste da restrição até que todas as variáveis estejam instanciadas Finite Domains t “Resolvedor” padrão disponibilizado pelos sistemas de programação com restrição t Aplica técnicas de propragação de restrição desenvolvida na IA

14 ECLIPSE * Exemplos Carregue o arquivo ‘sendmoremoney.ecl’ S E N D + M O R E --------- M O N E Y  Execute as consultas : sendmore(D) sendmore([S, 5, 6, D, M, O, R, Y]).

15 ECLIPSE * Depuração Similar a do XSB Inclusão de novas palavras-chaves t DELAY t ELSE * Encerrar eclipse halt. ou CTRL + C

16