 | Produzir prólogo. Incorporar Prolog em seu código |
| Baixe Agora |
Produzir prólogo. Classificação e resumo
- Nome do editor:
- Jeff Thompson
Produzir prólogo. Tag
Produzir prólogo. Descrição
Incorporar Prolog em seu código O ProLOGR é um software que permite incorporar programas de Prolog diretamente no Python, C # ou Javascript usando a palavra-chave de rendimento. Por exemplo, aqui está o clássico "tio" predicado no Prolog: Tio (pessoa, tio): - pai (pessoa, pai), irmão (pai, tio). (Isso diz que uma pessoa tem um tio se a pessoa tiver O pai e aquele pai têm um irmão.) E aqui está em rendimento Prolog: Pythondef Tio (pessoa, tio): pai = variável () para L1 em pai (pessoa, pai): para L2 em irmão (pai, tio): Rendimento Falsec # IEnumerable Tio (Pessoa do Objeto, Objeto Tio) {Pai Variável = Nova variável (); foreach (bool l1 em pai (pessoa, pai)) {foreach (bool l2 em irmão (pai, tio)) retorno de retorno falso; }} JavaScriptFunction Uncle (pessoa, tio) {Var pai = nova variável (); Para cada (var l1 no pai (pessoa, pai)) {para cada (var l2 no irmão (pai, tio)) rende falso; }} Como você pode ver, o fluxo do código no prólogo de rendimento é semelhante ao prólogo. O tutorial explica como esses exemplos funcionam, sem esperar que você conheça prólog. E os benchmarks mostram que o prólogo de rendimento em C # pode ser mais rápido do que os sistemas de prólologia eficiente, como o PROLOGO do Yap Prolog e XSB.YEIELD é possível pela palavra-chave de rendimento, que cria automaticamente os iteradores que você pode aninhar, combinado com a classe variável de rendimento do Prolog, que pode unificar uma variável com outros valores (como no Prolog). Não há "API" em pé entre o seu código e produza o Prolog, porque você usa a palavra-chave de rendimento para fazer "funções do iterador" onde quer que precise deles. O PROLOG é parte do seu código, que pode misturar predicados de estilo Prolog diretamente com matrizes comuns, arquivos de E / S, chamadas GUI e todas as suas próprias classes. Por isso, permite que você misture, produza Prolog Unifica os modelos de programação declarativos e processuais.
Produzir prólogo. Software Relacionado
