Em tempo: Eu escrevi K PROLOG mas o correto é Constraint Logicc Pograming.
Obviamente o puzzle tem o propósito de fazer raciocinar sobre o clima, e parece que o sol tem um papel importante: https://judithcurry.com/2023/11/04/solving-the-climate-puzzle-the-suns-surprising-role/ Abs W. Em qua., 31 de jan. de 2024 08:39, Walter Carnielli <walte...@unicamp.br> escreveu: > Este puzzle é analogo ao famoso "Zebra Puzzle" ou "Enstein's Puzzle", e > se resolve facilmente com Prolog: > > https://github.com/pjpjq/zebra-puzzle > > Escrevi uma vez um programinha numa versao de K-Prolog, mas não me lembro > mais. Com paciência talvez o encontre, se alguém se interessar... > > No fundo é lógica proposicional, tratando-se de encontrar o único modelo > que resolve, com informações minimas mas suficientes- a mesma coisa que o > Sudoku. > > É um daqueles problemas que a inteligência artificial simbólica resolve, > mas a estocástica não- vida longa a lógica!! > > Abs > Walter > > > > Em ter., 30 de jan. de 2024 21:44, Joao Marcos <botoc...@gmail.com> > escreveu: > >> Five persons make separate journeys within Europe using different >> modes of transport. Match the travelers with their respective >> journey and mode of transport and calculate the amount of CO2 >> emissions that they cause in the process! >> https://www.vcla.at/wp-content/uploads/2024/01/VCLA_Raetsel_A5.pdf >> >> This puzzle was created by Anouk Michelle Oudshoorn, doctoral student >> in the program LogiCS@TUWien. >> >> (the solution may be found online, if you search for it) >> >> >> JM >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <logica-l@dimap.ufrn.br> >> --- >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" >> dos Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >> Para acessar esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhm4p2hCqZs%3DZS-OhegcTtfOpEujLn84qbTXTmzj-OzTQ%40mail.gmail.com >> . >> > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcvP5dnRf%2BMjxf2JbA1-4tcwDfN%2Bv9PjUTXaLMwbFVvng%40mail.gmail.com.
