Idioma :: XSB. Idioma :: XSB é um módulo Perl que permite usar xsb do perl.
Baixe Agora

Idioma :: XSB. Classificação e resumo

Idioma :: XSB. Tag

Módulo Perl. língua Idioma XSB. Perl xsb. XSB

Idioma :: XSB. Descrição

Idioma :: XSB é um módulo Perl que permite usar xsb do perl. Idioma :: XSB é um módulo Perl que permite usar o XSB da perl.synopsis use idioma :: xsb ': query'; Use o idioma :: Prolog :: Tipos :: Sobrecarga; Use idioma :: Prolog :: Sugar Vars => , functores => {igual => '='}, functors => , cadeias => {plus => '+' , Orn => ';'}; xsb_set_query (igual (x, 34), igual (y, -12), é (z, mais (x, y, 1000))); while (xsb_next ()) {printf ("x =% d, y =% d, z =% d, z =% dn", xsb_var (x), xsb_var (y), xsb_var (z))} Print Junte ("n", xsb_find_all (ORN (igual (X, 27), igual (x, 45)), X)), "N"; AbstractLanguage :: XSB fornece uma interface bidirecional para XSB ().drom O XSB Manual: XSB é uma programação lógica orientada para pesquisa e sistema de banco de dados dedutivo desenvolvido em Suny Stony Brook. Além de fornecer toda a funcionalidade do Prolog, ele contém recursos geralmente não encontrados em sistemas de programação lógica, como avaliação de acordo com a semântica bem fundamentada por meio de resolução completa da SLG, manuseio de restrições para programas apresentados, uma implementação de hilog compilada, factoring de unificação e interfaces Outros sistemas como o pacote ODBC, C, Java, Perl e Oclethis implementa uma interface bidirecional para xsb, isso significa que a Perl pode chamar XSB que pode chamar Perl de volta que pode chamar xsb novamente, etc: perl -> XSB -> Perl -> XSB -> ... (Infelizmente, você precisa começar a partir do Perl, XSB-> Perl -> ... não é possível.) A interface para xsb é baseada nos objetos criados pelo idioma do pacote :: Prolog: : Tipos. Você também pode usar o idioma :: Pacote de Prolog :: Sugar, um front end para o pacote de tipos para melhorar a aparência da sua fonte (apenas alguns sintatic açúcar). Para fazer consultas para xsb você tem que definir primeiro o termo de consulta com a função xsb_set_query e, em seguida, use xsb_next e xsb_next e xsb_result para iterar sobre ele e obter os resultados de volta.only Uma consulta pode ser aberta a qualquer momento, a menos que a Perl seja chamada de XSB, mas a consulta antiga não é visível. Requisitos: · Perl.

Idioma :: XSB. Software Relacionado