b'\n_START_ARTICLE_\nProgramming Systems Lab\n_START_PARAGRAPH_\nProgramming Systems Lab \xc3\xa9 um programa de pesquisas sobre todos os aspectos de linguagens de programa\xc3\xa7\xc3\xa3o de alto n\xc3\xadvel e sistemas de fornecimento de concorrentes e computa\xc3\xa7\xc3\xa3o simb\xc3\xb3lica, tais como, pesquisa em l\xc3\xb3gica funcional e programa\xc3\xa7\xc3\xa3o restrita, bem como na dedu\xc3\xa7\xc3\xa3o autom\xc3\xa1tica._NEWLINE_Um esfor\xc3\xa7o anterior foi o desenvolvimento de Oz Mozart e sua implementa\xc3\xa7\xc3\xa3o, que combinam com a programa\xc3\xa7\xc3\xa3o concorrente e distribu\xc3\xadda com base na infer\xc3\xaancia l\xc3\xb3gica de restri\xc3\xa7\xc3\xa3o, e suas aplica\xc3\xa7\xc3\xb5es para variados dom\xc3\xadnios, tais como hor\xc3\xa1rios e tempo de entrega, coloca\xc3\xa7\xc3\xa3o e configura\xc3\xa7\xc3\xa3o, linguagem natural e representa\xc3\xa7\xc3\xa3o de conhecimentos, Pluri - Agente de sistemas sofisticados e ferramentas colaborativas._NEWLINE_Atualmente, esta institui\xc3\xa7\xc3\xa3o desenvolve projetos em uma nova linguagem de programa\xc3\xa7\xc3\xa3o Alice, sobre a programa\xc3\xa7\xc3\xa3o restrita biblioteca Gecode, e na base de tratamento de restri\xc3\xa7\xc3\xb5es em linguagem natural.'